Using randomization and learning to solve hard real-world instances of satisfiability

DOI10.1007/3-540-45349-0_36MaRDI QIDQ4473048zbMATH OpenFDO

Authors Luís Baptista, Joao Marques-Silva

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1894/18940489.htm, https://eprints.soton.ac.uk/262037/1/jpms-cp00a.pdf

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• Stochastic systematic search algorithms for satisfiability
• Random backtracking in backtrack search algorithms for satisfiability
• scientific article; zbMATH DE number 956858
• Principles and Practice of Constraint Programming – CP 2004
• Towards provably complete stochastic search algorithms for satisfiability

Cited in

(14)

• Iterative restart technique for solving timetabling problems.
• Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
• Efficient data structures for backtrack search SAT solvers
• Boosting isomorphic model filtering with invariants
• The state of SAT
• BerkMin: A fast and robust SAT-solver
• Random backtracking in backtrack search algorithms for satisfiability
• The Relation Between Complete and Incomplete Search
• Propositional SAT solving
• Incorporating Learning in Grid-Based Randomized SAT Solving
• An overview of parallel SAT solving
• scientific article; zbMATH DE number 7238293 (Why is no real title available?)
• Formalization and implementation of modern SAT solvers
• Heuristic-based backtracking relaxation for propositional satisfiability

Describes a project that uses

Uses Software

• SATO

This page was built for publication: Using randomization and learning to solve hard real-world instances of satisfiability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473048)