Vitaly Lagoon | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred