Zchaff2004
From MaRDI portal
Software:13776
No author found.
Related Items
Nonrealizable minimal vertex triangulations of surfaces: showing nonrealizability using oriented matroids and satisfiability solvers ⋮ Unnamed Item ⋮ Theory and Applications of Satisfiability Testing ⋮ Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories ⋮ Theory and Applications of Satisfiability Testing ⋮ Algorithm runtime prediction: methods \& evaluation ⋮ The incremental satisfiability problem for a two conjunctive normal form ⋮ Efficient branch-and-bound algorithms for weighted MAX-2-SAT ⋮ On the power of clause-learning SAT solvers as resolution engines ⋮ Assignment Stack Shrinking ⋮ Generation of Oriented Matroids Using Satisfiability Solvers ⋮ A Scalable Algorithm for Minimal Unsatisfiable Core Extraction ⋮ Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning ⋮ Topological configurations \((n_4)\) exist for all \(n\geq 17\) ⋮ Present and Future of Practical SAT Solving
This page was built for software: Zchaff2004