scientific article; zbMATH DE number 30299

zbMATH Open0768.68057MaRDI QIDQ3985347FDOQ3985347

Authors: Paul Walton jun. Purdom 

Publication date: 27 June 1992

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

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

zbMATH Keywords

asymptotic analysesrandom problemsalgorithms for satisfiability problemsaverage number of nodes per problem

Mathematics Subject Classification ID

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

Cited In (13)

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

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)