Yacine Boufkhad
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1997–2010
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SAT | Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold. | Yacine Boufkhad, Thomas Hugel |
| 2009 | ICCCN | Fine Tuning of a Distributed VoD System. | Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot |
| 2009 | SAT | New Encodings of Pseudo-Boolean Constraints into CNF. | Olivier Bailleux, Yacine Boufkhad, Olivier Roussel |
| 2004 | SAT | Full CNF Encoding: The Counting Constraints Case. | Olivier Bailleux, Yacine Boufkhad |
| 2003 | CP | Efficient CNF Encoding of Boolean Cardinality Constraints. | Olivier Bailleux, Yacine Boufkhad |
| 2000 | AAAI | Redundancy in Random SAT Formulas. | Yacine Boufkhad, Olivier Roussel |
| 2000 | SODA | Typical random 3-SAT formulae and the satisfiability threshold. | Olivier Dubois, Yacine Boufkhad, Jacques Mandler |
| 1998 | AAAI | Algorithms for Propositional KB Approximation. | Yacine Boufkhad |
| 1997 | IJCAI | Tractable Cover Compilations. | Yacine Boufkhad, ric Grgoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais |