Conference Proceedings

Encoding Linear Constraints with Implication Chains to CNF

Ignasi Abio, Valentin Mayer-Eichberger, Peter J Stuckey, G Pesant

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER-VERLAG BERLIN | Published : 2015

DOI: 10.1007/978-3-319-23219-5_1

Citation metrics

3Web of Science
5Scopus

Keywords

Logic
Pseudo-Boolean Constraints
Robotics
Science & Technology - Other Topics
Computer Science, Artificial Intelligence
Science & Technology
Computer Science
Technology
Computer Science, Theory & Methods