Picture for Peter James Stuckey

Peter James Stuckey

Grounding Bound Founded Answer Set Programs

Add code
May 14, 2014
Figure 1 for Grounding Bound Founded Answer Set Programs
Figure 2 for Grounding Bound Founded Answer Set Programs
Figure 3 for Grounding Bound Founded Answer Set Programs
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

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