Cited in
(85)- scientific article; zbMATH DE number 1701763 (Why is no real title available?)
- scientific article; zbMATH DE number 1956571 (Why is no real title available?)
- Using word-level information in formal hardware verification
- Extended Resolution Proofs for Conjoining BDDs
- Backdoors to q-Horn
- scientific article; zbMATH DE number 2243370 (Why is no real title available?)
- NuMDG: a new tool for multiway decision graphs construction
- Empirical study of the anatomy of modern SAT solvers
- Regular-SAT: A many-valued approach to solving combinatorial problems
- The state of SAT
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- BerkMin: A fast and robust SAT-solver
- SatEx: A web-based framework for SAT experimentation
- A parallelization scheme based on work stealing for a class of SAT solvers
- Dynamic symmetry-breaking for Boolean satisfiability
- Constrained pseudo-propositional logic
- Extended Resolution Proofs for Symbolic SAT Solving with Quantification
- A quantifier-free first-order knowledge logic of authentication
- Synthesis of domain specific CNF encoders for bit-vector solvers
- On Solving the Partial MAX-SAT Problem
- Efficient Information-Flow Verification Under Speculative Execution
- Visualizing SAT instances and runs of the DPLL algorithm
- scientific article; zbMATH DE number 1903346 (Why is no real title available?)
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
- Decomposing SAT Instances with Pseudo Backbones
- A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
- A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
- Backdoors to satisfaction
- Theory and Applications of Satisfiability Testing
- scientific article; zbMATH DE number 1670770 (Why is no real title available?)
- Incomplete dynamic backtracking for linear pseudo-Boolean problems
- Application of constraints to formal verification and artificial intelligence
- DPvis
- SBSAT
- UnitWalk
- SatEx
- SATLIB
- UBCSAT
- MAX-2-SAT
- QingTing1
- SATO
- Walksat
- PBS
- SAT competition
- SATIRE
- BG-WalkSAT
- zChaff
- BerkMin
- Chaff
- bv2epr
- Quaffle
- NuMDG
- Jerusat
- SATORI
- SCOOT
- PiMaG
- AMUSE
- MUP
- SATLIB Benchmark Suite
- EVC
- Saucy
- OSCAR
- nishe
- DDVerify
- Shatter
- semprop
- FourierSAT
- Convergence testing in term-level bounded model checking
- scientific article; zbMATH DE number 1798182 (Why is no real title available?)
- SAT-Based Model Checking
- Exploiting multivalued knowledge in variable selection heuristics for SAT solvers
- Correct Hardware Design and Verification Methods
- Theory and Applications of Satisfiability Testing
- Algebraic models of correctness for abstract pipelines.
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- Conflict Anticipation in the Search for Graph Automorphisms
- Theory and Applications of Satisfiability Testing
- scientific article; zbMATH DE number 1670784 (Why is no real title available?)
- Automatic abstraction of equations in a logic of equality
- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
- Theory and Applications of Satisfiability Testing
- Anatomy and empirical evaluation of modern SAT solvers
- Theory and Applications of Satisfiability Testing
- Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction
This page was built for software: Velev SAT Benchmarks
