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

This page was built for person: Yacine Boufkhad