DMCA

Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems

by Amit Metodi , Michael Codish , Peter J. Stuckey
Citations:7 - 5 self