The following pages link to zChaff (Q16925):
Displaying 31 items.
- A competitive and cooperative approach to propositional satisfiability (Q860390) (← links)
- Symbolic techniques in satisfiability solving (Q862403) (← links)
- New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability (Q937398) (← links)
- Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)
- Worst-case study of local search for MAX-\(k\)-SAT. (Q1408379) (← links)
- Propagation via lazy clause generation (Q2272160) (← links)
- Complete Boolean satisfiability solving algorithms based on local search (Q2434568) (← links)
- Automatic generation of redundant models for permutation constraint satisfaction problems (Q2460256) (← links)
- Solving SAT problem by heuristic polarity decision-making algorithm (Q2465749) (← links)
- (Q2979814) (← links)
- A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses (Q3100209) (← links)
- On the independence number of $(3, 3)$-Ramsey graphs and the Folkman number $F_e(3, 3; 4)$ (Q3300687) (← links)
- (Q3408146) (← links)
- (Q3429162) (← links)
- Automating Algebraic Specifications of Non-freely Generated Data Types (Q3540070) (← links)
- (Q3604000) (← links)
- Hybrid BDD and All-SAT Method for Model Checking (Q3630184) (← links)
- Theory and Applications of Satisfiability Testing (Q5325878) (← links)
- (Q5391530) (← links)
- SAT-Based Analysis of Cellular Automata (Q5464170) (← links)
- Correct Hardware Design and Verification Methods (Q5493246) (← links)
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (Q5504653) (← links)
- Theory and Applications of Satisfiability Testing (Q5713738) (← links)
- Theory and Applications of Satisfiability Testing (Q5713744) (← links)
- Theory and Applications of Satisfiability Testing (Q5714751) (← links)
- Theory and Applications of Satisfiability Testing (Q5714754) (← links)
- Theory and Applications of Satisfiability Testing (Q5714765) (← links)
- Extending Coq with Imperative Features and Its Application to SAT Verification (Q5747643) (← links)
- On Solving the Partial MAX-SAT Problem (Q5756559) (← links)
- Deciding Bit-Vector Arithmetic with Abstraction (Q5758122) (← links)
- Formal Methods for Hardware Verification (Q5899152) (← links)
