Learning rate based branching heuristic for SAT solvers
From MaRDI portal
Publication:2818006
Recommendations
- An empirical study of branching heuristics through the lens of global learning rate
- Learning to select branching rules in the DPLL procedure for satisfiability
- Branching rules for satisfiability
- The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study
- Machine learning-based restart policy for CDCL SAT solvers
Cites work
- Adaptive Restart Strategies for Conflict Driven SAT Solvers
- BerkMin: A fast and robust SAT-solver
- Bounded model checking using satisfiability solving
- Evaluating CDCL variable scoring schemes
- Hardware and Software, Verification and Testing
- Impact of Community Structure on SAT Solver Performance
- Learning rate based branching heuristic for SAT solvers
- Learning to select branching rules in the DPLL procedure for satisfiability
- Solving propositional satisfiability problems
- The Solution of a Certain Two-Person Zero-Sum Game
- The community structure of SAT formulas
- Theory and Applications of Satisfiability Testing
Cited in
(23)- Learning to select branching rules in the DPLL procedure for satisfiability
- MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
- Deep cooperation of CDCL and local search for SAT
- On dedicated CDCL strategies for PB solvers
- On the hierarchical community structure of practical Boolean formulas
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
- Popularity-similarity random SAT formulas
- Preprocessing of propagation redundant clauses
- Preprocessing of propagation redundant clauses
- Machine learning and logic: a new frontier in artificial intelligence
- Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning
- Assessing progress in SAT solvers through the Lens of incremental SAT
- Incorporating Learning in Grid-Based Randomized SAT Solving
- A nonexistence certificate for projective planes of order ten with weight 15 codewords
- An empirical study of branching heuristics through the lens of global learning rate
- Clause vivification by unit propagation in CDCL SAT solvers
- Towards better heuristics for solving bounded model checking problems
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study
- Learning rate based branching heuristic for SAT solvers
- SAT competition 2020
- Learning in a compiler for MINSAT algorithms
Describes a project that uses
Uses Software
This page was built for publication: Learning rate based branching heuristic for SAT solvers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2818006)
