zChaff
From MaRDI portal
Software:16925
No author found.
Related Items (31)
Unnamed Item ⋮ A competitive and cooperative approach to propositional satisfiability ⋮ Symbolic techniques in satisfiability solving ⋮ Theory and Applications of Satisfiability Testing ⋮ Unnamed Item ⋮ Worst-case study of local search for MAX-\(k\)-SAT. ⋮ Complete Boolean satisfiability solving algorithms based on local search ⋮ Automating Algebraic Specifications of Non-freely Generated Data Types ⋮ New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability ⋮ Theory and Applications of Satisfiability Testing ⋮ Theory and Applications of Satisfiability Testing ⋮ Unnamed Item ⋮ Theory and Applications of Satisfiability Testing ⋮ Theory and Applications of Satisfiability Testing ⋮ Theory and Applications of Satisfiability Testing ⋮ Automatic generation of redundant models for permutation constraint satisfaction problems ⋮ Solving SAT problem by heuristic polarity decision-making algorithm ⋮ Unnamed Item ⋮ Correct Hardware Design and Verification Methods ⋮ Extending Coq with Imperative Features and Its Application to SAT Verification ⋮ Propagation via lazy clause generation ⋮ On Solving the Partial MAX-SAT Problem ⋮ Deciding Bit-Vector Arithmetic with Abstraction ⋮ Efficiently checking propositional refutations in HOL theorem provers ⋮ SAT-Based Analysis of Cellular Automata ⋮ Hybrid BDD and All-SAT Method for Model Checking ⋮ Formal Methods for Hardware Verification ⋮ A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses ⋮ Unnamed Item ⋮ Detecting Inconsistencies in Large Biological Networks with Answer Set Programming ⋮ On the independence number of $(3, 3)$-Ramsey graphs and the Folkman number $F_e(3, 3; 4)$
This page was built for software: zChaff
