Local Restarts

DOI10.1007/978-3-540-79719-7_25MaRDI QIDQ3502714zbMATH OpenOpenAlexFDO

Authors Vadim Ryvchin, Ofer Strichman

Publication date 27 May 2008

Published in Theory and Applications of Satisfiability Testing – SAT 2008 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-79719-7_25

Mathematics Subject Classification ID

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

Recommendations

• Reusing the assignment trail in CDCL solvers
• Machine learning-based restart policy for CDCL SAT solvers
• A dynamic restart strategy for solving SAT problem
• Adaptive Restart Strategies for Conflict Driven SAT Solvers
• Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution

Cites work

• scientific article; zbMATH DE number 5510691 (Why is no real title available?)
• Optimal speedup of Las Vegas algorithms
• Stochastic systematic search algorithms for satisfiability

Cited in

(18)

• Machine learning-based restart policy for CDCL SAT solvers
• Conflict-driven answer set solving: from theory to practice
• Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT
• Leveraging GPUs for effective clause sharing in parallel SAT solving
• Reusing the assignment trail in CDCL solvers
• Extreme cases in SAT problems
• Between restarts and backjumps
• Reducing chaos in SAT-like search: finding solutions close to a given one
• Between SAT and UNSAT: the fundamental difference in CDCL SAT
• Adaptive Restart Strategies for Conflict Driven SAT Solvers
• Online Estimation of SAT Solving Runtime
• On Universal Restart Strategies for Backtracking Search
• Whose side are you on? Finding solutions in a biased search-tree
• SAT solving with reference points
• Recording and minimizing nogoods from restarts
• A dynamic restart strategy for solving SAT problem
• Ten challenges \textit{redux}: recent progress in propositional reasoning and search
• Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution

Describes a project that uses

Uses Software

• MiniSat

This page was built for publication: Local Restarts

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