Picture for Amit Metodi

Amit Metodi

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