Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems

Amit Metodi, Michael Codish, Peter J. Stuckey

Research output: Contribution to journalArticlepeer-review

31 Scopus citations

Fingerprint

Dive into the research topics of 'Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems'. Together they form a unique fingerprint.

Engineering & Materials Science