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

4 February 2014

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

3 / 3 papers shown

Title
Breaking Symmetries in Graph Search with Canonizing Sets Avraham Itzhakov M. Codish 44 15 0 25 Nov 2015
Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking M. Codish Michael Frank Avraham Itzhakov Alice Miller 15 25 0 28 Oct 2015
Solving Graph Coloring Problems with Abstraction and Symmetry M. Codish Michael Frank Avraham Itzhakov Alice Miller 39 2 0 18 Sep 2014