SAT versus UNSAT. - Olivier Dubois 002; Pascal André; Yacine Boufkhad; Jacques Carlier (Cliques, Coloring, and Satisfiability, 1993)

Tractable Cover Compilations. - Yacine Boufkhad; Éric Grégoire; Pierre Marquis; Bertrand Mazure; Lakhdar Sais (IJCAI (1), 1997)

A General Upper Bound for the Satisfiability Threshold of Random r-SAT Formulae. - O. Dubios; Yacine Boufkhad (J. Algorithms, 1997)

Algorithms for Propositional KB Approximation. - Yacine Boufkhad (AAAI/IAAI, 1998)

Length of Prime Implicants and Number of Solutions of Random CNF Formulae. - Yacine Boufkhad; Olivier Dubois 002 (Theor. Comput. Sci., 1999)

Redundancy in Random SAT Formulas. - Yacine Boufkhad; Olivier Roussel (AAAI/IAAI, 2000)

Efficient CNF Encoding of Boolean Cardinality Constraints. - Olivier Bailleux; Yacine Boufkhad (CP, 2003)

Typical random 3-SAT formulae and the satisfiability threshold - Olivier Dubois 002; Yacine Boufkhad; Jacques Mandler (Electron. Colloquium Comput. Complex., 2003)

Reconstructing (h, v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projections. - Yacine Boufkhad; Olivier Dubois 002; Maurice Nivat (Theor. Comput. Sci., 2003)

Full CNF Encoding: The Counting Constraints Case. - Olivier Bailleux; Yacine Boufkhad (SAT, 2004)

Regular Random k-SAT: Properties of Balanced Formulas. - Yacine Boufkhad; Olivier Dubois 002; Yannet Interian; Bart Selman (J. Autom. Reason., 2005)

A Translation of Pseudo Boolean Constraints to SAT. - Olivier Bailleux; Yacine Boufkhad; Olivier Roussel (J. Satisf. Boolean Model. Comput., 2006)

Achievable catalog size in peer-to-peer video-on-demand systems. - Yacine Boufkhad; Fabien Mathieu; Fabien de Montgolfier; Diego Perino; Laurent Viennot (IPTPS, 2008)

Scalable Distributed Video-on-Demand: Theoretical Bounds and Practical Algorithms - Laurent Viennot; Yacine Boufkhad; Fabien Mathieu; Fabien de Montgolfier; Diego Perino (CoRR, 2008)

Fine Tuning of a Distributed VoD System. - Yacine Boufkhad; Fabien Mathieu; Fabien de Montgolfier; Diego Perino; Laurent Viennot (ICCCN, 2009)

An upload bandwidth threshold for peer-to-peer Video-on-Demand scalability. - Yacine Boufkhad; Fabien Mathieu; Fabien de Montgolfier; Diego Perino; Laurent Viennot (IPDPS, 2009)

New Encodings of Pseudo-Boolean Constraints into CNF. - Olivier Bailleux; Yacine Boufkhad; Olivier Roussel (SAT, 2009)

Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold. - Yacine Boufkhad; Thomas Hugel (SAT, 2010)

Second Moment Method on k-SAT: a General Framework - Thomas Hugel; Yacine Boufkhad (CoRR, 2010)

Second moment method for a family of boolean CSP - Yacine Boufkhad; Olivier Dubois 002 (CoRR, 2011)

Estimating satisfiability. - Yacine Boufkhad; Thomas Hugel (Discret. Appl. Math., 2012)

Forwarding Tables Verification through Representative Header Sets. - Yacine Boufkhad; Ricardo De La Paz; Leonardo Linguaglossa; Fabien Mathieu; Diego Perino; Laurent Viennot (CoRR, 2016)

Efficient Loop Detection in Forwarding Networks and Representing Atoms in a Field of Sets. - Laurent Viennot; Yacine Boufkhad; Leonardo Linguaglossa; Fabien Mathieu; Diego Perino (CoRR, 2018)

Constraint Reductions. - Olivier Bailleux; Yacine Boufkhad (CoRR, 2020)