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