scientific article; zbMATH DE number 2010170

MaRDI QIDQ4435128zbMATH OpenFDO

Authors Predrag Janičić, Nenad Dedić, Goran Terzić

Publication date 26 November 2003

zbMATH Keywords

NP-complete problemsphase transitionSAT problems

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• An improved generator for 3-CNF formulas
• Some pitfalls for experimenters with random SAT
• The SAT phase transition
• Experimental results on the crossover point in random 3-SAT
• The phase transition in 1-in-k SAT and NAE 3-SAT

Cited in

(5)

• Some pitfalls for experimenters with random SAT
• Generating Diverse Solutions in SAT
• scientific article; zbMATH DE number 5139164 (Why is no real title available?)
• Models for Random Constraint Satisfaction Problems
• An improved generator for 3-CNF formulas

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4435128)