research
∙
02/04/2014
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
We present an approach to propagation-based SAT encoding of combinatoria...
share
research
∙
04/24/2011
