Yacine Boufkhad

According to our database, Yacine Boufkhad authored at least 24 papers between 1993 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Constraint Reductions.

Olivier Bailleux, Yacine Boufkhad

CoRR, 2020

2018

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

2016

Forwarding Tables Verification through Representative Header Sets.

Yacine Boufkhad, Ricardo De La Paz, Leonardo Linguaglossa, Fabien Mathieu, Diego Perino, Laurent Viennot

CoRR, 2016

2012

Estimating satisfiability.

Yacine Boufkhad, Thomas Hugel

Discret. Appl. Math., 2012

2011

Second moment method for a family of boolean CSP

Yacine Boufkhad, Olivier Dubois

CoRR, 2011

2010

Second Moment Method on k-SAT: a General Framework

Thomas Hugel, Yacine Boufkhad

CoRR, 2010

Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold.

Yacine Boufkhad, Thomas Hugel

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

New Encodings of Pseudo-Boolean Constraints into CNF.

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

An upload bandwidth threshold for peer-to-peer Video-on-Demand scalability.

Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Fine Tuning of a Distributed VoD System.

Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot

Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

2008

Scalable Distributed Video-on-Demand: Theoretical Bounds and Practical Algorithms

Laurent Viennot, Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino

CoRR, 2008

Achievable catalog size in peer-to-peer video-on-demand systems.

Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot

Proceedings of the 7th international conference on Peer-to-peer systems, 2008

2006

A Translation of Pseudo Boolean Constraints to SAT.

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel

J. Satisf. Boolean Model. Comput., 2006

2005

Regular Random <i>k</i>-SAT: Properties of Balanced Formulas.

Yacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman

J. Autom. Reason., 2005

2004

Full CNF Encoding: The Counting Constraints Case.

Olivier Bailleux, Yacine Boufkhad

Proceedings of the SAT 2004, 2004

2003

Reconstructing (h, v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projections.

Yacine Boufkhad, Olivier Dubois, Maurice Nivat

Theor. Comput. Sci., 2003

Typical random 3-SAT formulae and the satisfiability threshold

Olivier Dubois, Yacine Boufkhad, Jacques Mandler

Electron. Colloquium Comput. Complex., 2003

Efficient CNF Encoding of Boolean Cardinality Constraints.

Olivier Bailleux, Yacine Boufkhad

Proceedings of the Principles and Practice of Constraint Programming, 2003

2000

Redundancy in Random SAT Formulas.

Yacine Boufkhad, Olivier Roussel

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Length of Prime Implicants and Number of Solutions of Random CNF Formulae.

Yacine Boufkhad, Olivier Dubois

Theor. Comput. Sci., 1999

1998

Algorithms for Propositional KB Approximation.

Yacine Boufkhad

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

A General Upper Bound for the Satisfiability Threshold of Random r-SAT Formulae.

O. Dubios, Yacine Boufkhad

J. Algorithms, 1997

Tractable Cover Compilations.

Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1993

SAT versus UNSAT.

Olivier Dubois, Pascal André, Yacine Boufkhad, Jacques Carlier

Proceedings of the Cliques, 1993