Propagation based local search for bit-precise reasoning
From MaRDI portal
Recommendations
- Precise and complete propagation based local search for satisfiability modulo theories
- Local-search techniques for propositional logic extended with cardinality constraints
- Approximation of Boolean functions by local search
- Improved local search for circuit satisfiability
- Complete Boolean satisfiability solving algorithms based on local search
- Using stochastic local search to solve quantified Boolean formulae
- Efficient local search for pseudo Boolean optimization
- scientific article; zbMATH DE number 1538058
Cites work
- scientific article; zbMATH DE number 5613976 (Why is no real title available?)
- scientific article; zbMATH DE number 1033831 (Why is no real title available?)
- A Decision Procedure for Bit-Vectors and Arrays
- A model-constructing satisfiability calculus
- An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits
- Choosing probability distributions for stochastic local search and the role of make versus break
- Constraint-Based Verification
- Deciding Bit-Vector Formulas with mcSAT
- Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
- Propagation based local search for bit-precise reasoning
- SATzilla: portfolio-based algorithm selection for SAT
- Stochastic local search for SMT: combining theory solvers with WalkSAT
- The MathSAT5 SMT solver
Cited in
(10)- Wombit: a portfolio bit-vector solver using word-level propagation
- Exploiting binary floating-point representations for constraint propagation
- A bit-vector solver with word-level propagation
- Abstraction of bit-vector operations for BDD-based SMT solvers
- On solving quantified bit-vector constraints using invertibility conditions
- Local Search For Satisfiability Modulo Integer Arithmetic Theories
- Optimization modulo the theories of signed bit-vectors and floating-point numbers
- Propagation based local search for bit-precise reasoning
- Precise and complete propagation based local search for satisfiability modulo theories
- Bitwuzla
Describes a project that uses
Uses Software
This page was built for publication: Propagation based local search for bit-precise reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1688546)