scientific article; zbMATH DE number 2080313

zbMATH Open1044.68775MaRDI QIDQ4473032FDOQ4473032

Authors: Bhaskar Krishnamachari, Xi Xie, Stephen B. Wicker, Bart Selman 

Publication date: 4 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1894/18940278.htm

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

Recommendations

• Probabilistic analysis of satisfiability algorithms
• A comparative runtime analysis of heuristic algorithms for satisfiability problems
• Local search algorithms for SAT: an empirical evaluation
• An empirical study of optimal noise and runtime distributions in local search
• Stochastic systematic search algorithms for satisfiability

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited In (2)

• A comparative runtime analysis of heuristic algorithms for satisfiability problems
• The analysis of expected fitness and success ratio of two heuristic optimizations on two bimodal MaxSat problems

Uses Software

• Walksat

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