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
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