Yacine Boufkhad - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2012

Estimating satisfiabilityYacine Boufkhad, Thomas Hugel. DAM, 160(1-2):61-80, 2012. [doi]

2010

Non Uniform Selection of Solutions for Upper Bounding the 3-SAT ThresholdYacine Boufkhad, Thomas Hugel. sat 2010: 99-112 [doi]

2009

2008

Achievable catalog size in peer-to-peer video-on-demand systemsYacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot. iptps 2008: 4 [doi]

2006

A Translation of Pseudo Boolean Constraints to SATOlivier Bailleux, Yacine Boufkhad, Olivier Roussel. jsat, 2(1-4):191-200, 2006. [doi]

2005

Regular Random ::::k::::-SAT: Properties of Balanced FormulasYacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman. JAR, 35(1-3):181-200, 2005. [doi]

2004

Full CNF Encoding: The Counting Constraints CaseOlivier Bailleux, Yacine Boufkhad. sat 2004: [doi]

2003

Efficient CNF Encoding of Boolean Cardinality ConstraintsOlivier Bailleux, Yacine Boufkhad. cp 2003: 108-122 [doi]

Reconstructing (h, v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projectionsYacine Boufkhad, Olivier Dubois, Maurice Nivat. TCS, 290(3):1647-1664, 2003.

Typical random 3-SAT formulae and the satisfiability thresholdOlivier Dubois, Yacine Boufkhad, Jacques Mandler. eccc, 10(007), 2003. [doi]

2000

Redundancy in Random SAT FormulasYacine Boufkhad, Olivier Roussel. AAAI 2000: 273-278

Typical random 3-SAT formulae and the satisfiability thresholdOlivier Dubois, Yacine Boufkhad, Jacques Mandler. soda 2000: 126-127 [doi]

1999

Length of Prime Implicants and Number of Solutions of Random CNF FormulaeYacine Boufkhad, Olivier Dubois. TCS, 215(1-2):1-30, 1999. [doi]

1998

Algorithms for Propositional KB ApproximationYacine Boufkhad. AAAI 1998: 280-285

1997

Tractable Cover CompilationsYacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais. IJCAI 1997: 122-127

A General Upper Bound for the Satisfiability Threshold of Random r-SAT FormulaeO. Dubios, Yacine Boufkhad. jal, 24(2):395-420, 1997.

1993

SAT versus UNSATOlivier Dubois 0002, Pascal André, Yacine Boufkhad, Jacques Carlier. dimacs 1996: 415-436

Sign in or sign up to see more results.

runs on WebDSL