Vitaly Lagoon | DeepAI

DeepAI

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

Featured Co-authors

Peter J. Stuckey
46 publications
Michael Codish
6 publications
Graeme Gange
4 publications
Peter James Stuckey
3 publications
Amit Metodi
2 publications

research

∙ 01/16/2014

Fast Set Bounds Propagation Using a BDD-SAT Hybrid

Binary Decision Diagram (BDD) based set bounds propagation is a powerful...

0 Graeme Gange, 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. ∙