LIPIcs.CP.2021.pdf
- Filesize: 37.6 MB
- 1000 pages
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)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Principles and Practice of Constraint Programming (CP) - License:
Creative Commons Attribution 4.0 International license
- Publication date: 2021-10-15
File
Document Identifiers
Author Details
Cite AsGet BibTex
Laurent D. Michel. LIPIcs, Volume 210, CP 2021, Complete Volume. In 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
https://doi.org/10.4230/LIPIcs.CP.2021
Abstract
LIPIcs, Volume 210, CP 2021, Complete Volume
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)
0PDF Downloads