Travelled to:2 × United Kingdom
Collaborated with:T.Hugel O.Bailleux O.Roussel
Talks about:constraint (1) threshold (1) uniform (1) boolean (1) select (1) pseudo (1) upper (1) solut (1) encod (1) bound (1)
Person: Yacine Boufkhad
DBLP: Boufkhad:Yacine
Contributed to:
20102009Wrote 2 papers:
- SAT-2010-BoufkhadH #bound #satisfiability
- Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (YB, TH), pp. 99–112.
- SAT-2009-BailleuxBR #constraints #encoding #pseudo
- New Encodings of Pseudo-Boolean Constraints into CNF (OB, YB, OR), pp. 181–194.