scientific article; zbMATH DE number 69339

zbMATH Open0794.68067MaRDI QIDQ4014810FDOQ4014810

Authors: Pascal André, Olivier Dubois 

Publication date: 7 December 1992

Title of this publication is not available (Why is that?)

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

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)

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)