Searching for authors named "Yacine Boufkhad" – sorted by Relevance.
-
Full CNF Encoding: The Counting Constraints Case
- Full CNF Encoding: The Counting Constraints Case Olivier Bailleux 1 and Yacine Boufkhad 2 1 LERSIA
- Cited by 4 (0 self) – Add To MetaCart
-
Tractable cover compilations
- Tractable Cover Compilations* Yacine Boufkhad 1 , Eric Gregoire 2 , Pierre Marquis 2 , Bertrand
- Cited by 16 (8 self) – Add To MetaCart
-
Regular random k-sat: Properties of balanced formulas
- Regular random k-SAT: properties of balanced formulas Yacine Boufkhad 1 , Olivier Dubois 2
- Cited by 4 (1 self) – Add To MetaCart

