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

Return to Article Details Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems Download Download PDF