Yacine Boufkhad

Available identifiers

zbMath Open boufkhad.yacineMaRDI QIDQ765339

List of research outcomes

Publication	Date of Publication	Type
Estimating satisfiability	2012-03-19	Paper
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold	2010-09-29	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
New Encodings of Pseudo-Boolean Constraints into CNF	2009-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q3429162	2007-03-30	Paper
Regular random \(k\)-SAT: Properties of balanced formulas	2007-01-24	Paper
Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections.	2003-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4952608	2000-05-10	Paper
Length of prime implicants and number of solutions of random CNF formulae	1999-04-28	Paper
A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae	1997-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5687266	1997-06-09	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yacine Boufkhad