Picture for Vitaly Lagoon

Vitaly Lagoon

Fast Set Bounds Propagation Using a BDD-SAT Hybrid

Add code
Jan 16, 2014
Figure 1 for Fast Set Bounds Propagation Using a BDD-SAT Hybrid
Figure 2 for Fast Set Bounds Propagation Using a BDD-SAT Hybrid
Figure 3 for Fast Set Bounds Propagation Using a BDD-SAT Hybrid
Figure 4 for Fast Set Bounds Propagation Using a BDD-SAT Hybrid
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