scientific article; zbMATH DE number 69339

MaRDI QIDQ4014810zbMATH OpenFDO

Authors Pascal André, Olivier Dubois

Publication date 7 December 1992

zbMATH Keywords

Boolean functionssatisfiability problemSAT instancemethod of successive separations

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• scientific article; zbMATH DE number 956858
• scientific article; zbMATH DE number 1113991
• Counting the number of solutions for instances of satisfiability
• Probabilistic approach to the satisfiability problem
• scientific article; zbMATH DE number 3954272

Cited in

(1)

• Theory and Applications of Satisfiability Testing

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 Q4014810)