Boolean Equi-Propagation for Concise and Efficient SAT Encodings of Combinatorial Problems (0)

by A Metodi, M Codish, P J Stuckey
Venue:Journal of Artificial Intelligence Research