swMATH4757MaRDI QIDQ16925FDOQ16925
Author name not available (Why is that?)
Official website: http://www.princeton.edu/~chaff/zchaff.html
Cited In (64)
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- Symbolic techniques in satisfiability solving
- Solving SAT problem by heuristic polarity decision-making algorithm
- Formal Methods for Hardware Verification
- Title not available (Why is that?)
- Automating Algebraic Specifications of Non-freely Generated Data Types
- A competitive and cooperative approach to propositional satisfiability
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- On Solving the Partial MAX-SAT Problem
- Worst-case study of local search for MAX-\(k\)-SAT.
- Correct Hardware Design and Verification Methods
- Extending Coq with Imperative Features and Its Application to SAT Verification
- MATLAB -- modelling, programming and simulations.
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Efficiently checking propositional refutations in HOL theorem provers
- Hybrid BDD and All-SAT Method for Model Checking
- Theory and Applications of Satisfiability Testing
- Title not available (Why is that?)
- SATLIB
- hgen2
- Siege
- UCLID
- Torsche
- BerkMin
- Chaff
- Limmat
- Jerusat
- SATORI
- HANNIBAL
- HITEC
- PASSAT
- PiMaG
- SOCRATES
- Leibniz
- RSat
- DiffSat
- Velev SAT Benchmarks
- TrueTime
- mGstat
- Theory and Applications of Satisfiability Testing
- F@BOOL@
- MapleSAT
- Deciding Bit-Vector Arithmetic with Abstraction
- BooleForce
- LiSA
- Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems
- On the independence number of $(3, 3)$-Ramsey graphs and the Folkman number $F_e(3, 3; 4)$
- MAST
- Antenna Toolbox
- ATPDraw
- EJS
- LEKIN
- SeisLab
- SeismicLab
- TEXTNN
- Propagation via lazy clause generation
- SAT-Based Analysis of Cellular Automata
- New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
- Automatic generation of redundant models for permutation constraint satisfaction problems
- A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
- Complete Boolean satisfiability solving algorithms based on local search
- Title not available (Why is that?)
This page was built for software: zChaff
