Yacine Boufkhad

zbMath Openboufkhad.yacineMaRDI QIDQ765339

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Estimating satisfiability Discrete Applied Mathematics	2012-03-19	Paper
Non uniform selection of solutions for upper bounding the 3-SAT threshold Theory and Applications of Satisfiability Testing – SAT 2010	2010-09-29	Paper
Efficient CNF encoding of Boolean cardinality constraints Lecture Notes in Computer Science	2010-03-02	Paper
New Encodings of Pseudo-Boolean Constraints into CNF Lecture Notes in Computer Science	2009-07-07	Paper
scientific article; zbMATH DE number 5139168 (Why is no real title available?)	2007-03-30	Paper
Regular random \(k\)-SAT: Properties of balanced formulas Journal of Automated Reasoning	2007-01-24	Paper
Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections. Theoretical Computer Science	2003-08-17	Paper
scientific article; zbMATH DE number 1445295 (Why is no real title available?)	2000-05-10	Paper
Length of prime implicants and number of solutions of random CNF formulae Theoretical Computer Science	1999-04-28	Paper
A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae Journal of Algorithms	1997-10-20	Paper
scientific article; zbMATH DE number 956858 (Why is no real title available?)	1997-06-09	Paper

Research outcomes over time

This page was built for person: Yacine Boufkhad