Amit Metodi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Peter J. Stuckey
46 publications
Michael Codish
6 publications
Peter James Stuckey
3 publications
Vitaly Lagoon
2 publications

research

∙ 02/04/2014

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

We present an approach to propagation-based SAT encoding of combinatoria...

0 Amit Metodi, et al. ∙

research

∙ 04/24/2011

Boolean Equi-propagation for Optimized SAT Encoding

We present an approach to propagation based solving, Boolean equi-propag...

0 Amit Metodi, et al. ∙