The following pages link to Yacine Boufkhad (Q765339):
Displayed 12 items.
- Estimating satisfiability (Q765341) (← links)
- Regular random \(k\)-SAT: Properties of balanced formulas (Q862410) (← links)
- (Q1285567) (redirect page) (← links)
- Length of prime implicants and number of solutions of random CNF formulae (Q1285568) (← links)
- Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections. (Q1401184) (← links)
- (Q3429162) (← links)
- New Encodings of Pseudo-Boolean Constraints into CNF (Q3637167) (← links)
- A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae (Q4360139) (← links)
- Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (Q4930582) (← links)
- (Q4952608) (← links)
- (Q5687266) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897193) (← links)