Conference Proceedings

Boolean equi-propagation for optimized SAT encoding

A Metodi, M Codish, V Lagoon, PJ Stuckey

Lecture Notes in Computer Science 6876 | Published : 2011

Citation metrics