Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Yacine Boufkhad

A Translation of Pseudo-Boolean Constraints to SAT

Journal on Satisfiability, Boolean Modeling and Computation

English