Document Open Access Logo

LIPIcs, Volume 210, CP 2021, Complete Volume

Author Laurent D. Michel



PDF
Thumbnail PDF

File

LIPIcs.CP.2021.pdf
  • Filesize: 37.6 MB
  • 1000 pages

Document Identifiers

Author Details

Laurent D. Michel
  • University of Connecticut, USA

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

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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail