scientific article; zbMATH DE number 30299

MaRDI QIDQ3985347zbMATH OpenFDO

Authors Paul Walton jun. Purdom

Publication date 27 June 1992

zbMATH Keywords

algorithms for satisfiability problemsasymptotic analysesaverage number of nodes per problemrandom problems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Polynomial-average-time satisfiability problems
• An exact and a randomized approach for the satisfiability problem
• scientific article; zbMATH DE number 1113993
• Exponential Average Time for the Pure Literal Rule
• scientific article; zbMATH DE number 1555929

Cited in

(15)

• Polynomial-average-time satisfiability problems
• Solving the satisfiability problem by using randomized approach
• Average case results for satisfiability algorithms under the random-clause-width model
• A BDD SAT solver for satisfiability testing: An industrial case study
• Backtracking tactics in the backtrack method for SAT
• Running time experiments on some algorithms for solving propositional satisfiability problems
• Typical case complexity of satisfiability algorithms and the threshold phenomenon
• Generating hard satisfiability problems
• Some pitfalls for experimenters with random SAT
• An exact and a randomized approach for the satisfiability problem
• Exponential Average Time for the Pure Literal Rule
• scientific article; zbMATH DE number 1555929 (Why is no real title available?)
• scientific article; zbMATH DE number 1444322 (Why is no real title available?)
• A weight-balanced branching rule for SAT
• Corrigendum to ``Average time analyses of simplified Davis-Putnam procedures

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