swMATH9016MaRDI QIDQ21011FDOQ21011
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=764839
Cited In (16)
- Extended Resolution Proofs for Conjoining BDDs
- A framework for compositional nonblocking verification of extended finite-state machines
- Symbolic techniques in satisfiability solving
- Decomposing SAT problems into connected components
- A finite state intersection approach to propositional satisfiability
- Theory and Applications of Satisfiability Testing
- CirCUs
- DPvis
- SBSAT
- sharpSAT
- Supremica
- Rusanov
- STSLib
- Variable and clause ordering in an FSA approach to propositional satisfiability
- Cache conscious data structures for Boolean satisfiability solvers
- A class of computationally fast first order finite volume solvers: PVM methods
This page was built for software: FORCE
