Conference Proceedings

Encoding Linear Constraints into SAT

Ignasi Abio, Peter J Stuckey, B OSullivan

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER INT PUBLISHING AG | Published : 2014