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

1Web of Science
2Scopus

Keywords

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