Picture for Michael Codish

Michael Codish

Breaking Symmetries in Graph Search with Canonizing Sets

Add code
Feb 04, 2016
Figure 1 for Breaking Symmetries in Graph Search with Canonizing Sets
Figure 2 for Breaking Symmetries in Graph Search with Canonizing Sets
Figure 3 for Breaking Symmetries in Graph Search with Canonizing Sets
Figure 4 for Breaking Symmetries in Graph Search with Canonizing Sets
Viaarxiv icon

Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking

Add code
Nov 01, 2015
Figure 1 for Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
Figure 2 for Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
Figure 3 for Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
Figure 4 for Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
Viaarxiv icon

Solving Graph Coloring Problems with Abstraction and Symmetry

Add code
Mar 26, 2015
Figure 1 for Solving Graph Coloring Problems with Abstraction and Symmetry
Figure 2 for Solving Graph Coloring Problems with Abstraction and Symmetry
Figure 3 for Solving Graph Coloring Problems with Abstraction and Symmetry
Figure 4 for Solving Graph Coloring Problems with Abstraction and Symmetry
Viaarxiv icon

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

Add code
Feb 04, 2014
Figure 1 for Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
Figure 2 for Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
Figure 3 for Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
Figure 4 for Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
Viaarxiv icon

Boolean Equi-propagation for Optimized SAT Encoding

Add code
Apr 24, 2011
Figure 1 for Boolean Equi-propagation for Optimized SAT Encoding
Figure 2 for Boolean Equi-propagation for Optimized SAT Encoding
Figure 3 for Boolean Equi-propagation for Optimized SAT Encoding
Figure 4 for Boolean Equi-propagation for Optimized SAT Encoding
Viaarxiv icon

Logic Programming with Satisfiability

Add code
Feb 13, 2007
Figure 1 for Logic Programming with Satisfiability
Viaarxiv icon