Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Olivier Bailleux

A Translation of Pseudo-Boolean Constraints to SAT

Journal on Satisfiability, Boolean Modeling and Computation

English