LIPIcs, Volume 210, CP 2021, Complete Volume

Michel, Laurent D.

doi:10.4230/LIPIcs.CP.2021

Document

LIPIcs, Volume 210, CP 2021, Complete Volume

Author Laurent D. Michel

Part of: Volume: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Principles and Practice of Constraint Programming (CP)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2021-10-15

PDF

File

PDF

LIPIcs.CP.2021.pdf

Filesize: 37.6 MB
1000 pages

Document Identifiers

DOI: 10.4230/LIPIcs.CP.2021
URN: urn:nbn:de:0030-drops-152907

Subject Classification

ACM Subject Classification

Mathematics of computing → Solvers
Hardware → Theorem proving and SAT solving
Theory of computation → Constraint and logic programming
Software and its engineering → Constraints
Computing methodologies → Machine learning
Mathematics of computing → Mathematical optimization

Keywords

LIPIcs, Volume 210, CP 2021, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

LIPIcs, Volume 210, CP 2021, Complete Volume

Cite As Get BibTex

27th International Conference on Principles and Practice of Constraint Programming (CP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 210, pp. 1-1000, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021) https://doi.org/10.4230/LIPIcs.CP.2021

Author Details

Laurent D. Michel

University of Connecticut, USA

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail