( en | de | ru )

 

Disambiguation of "Boufkhad, Yacine"

Author of the publication

copydeleteadd this publication to your clipboard
Regular Random k-SAT: Properties of Balanced Formulas.

, , , and . J. Autom. Reason., 35 (1-3): 181-200 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yacine Saidi

Yacine Kessaci

Yacine Elhmidi

Yacine Rezgui

Yacine Hebbal

 

Other publications of authors with the same name

Regular Random k-SAT: Properties of Balanced Formulas., , , and . J. Autom. Reason., 35 (1-3): 181-200 (2005)Efficient CNF Encoding of Boolean Cardinality Constraints., and . CP, volume 2833 of Lecture Notes in Computer Science, page 108-122. Springer, (2003)Tractable Cover Compilations., , , , and . IJCAI (1), page 122-127. Morgan Kaufmann, (1997)Second Moment Method on k-SAT: a General Framework, and . CoRR, (2010)Estimating satisfiability., and . Discret. Appl. Math., 160 (1-2): 61-80 (2012)Length of Prime Implicants and Number of Solutions of Random CNF Formulae., and . Theor. Comput. Sci., 215 (1-2): 1-30 (1999)Constraint Reductions., and . CoRR, (2020)A Translation of Pseudo Boolean Constraints to SAT., , and . J. Satisf. Boolean Model. Comput., 2 (1-4): 191-200 (2006)Typical random 3-SAT formulae and the satisfiability threshold., , and . SODA, page 126-127. ACM/SIAM, (2000)New Encodings of Pseudo-Boolean Constraints into CNF., , and . SAT, volume 5584 of Lecture Notes in Computer Science, page 181-194. Springer, (2009)