Boolean Satisfiability with Transitivity Constraints
Abstract elided by the publisher.
Related papers
- Scalable error detection using boolean satisfiability POPL 2005
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007
- Clausal Proofs for Pseudo-Boolean Reasoning TACAS 2022
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems TACAS 2012
- Abstraction Refinement Algorithms for Timed Automata CAV 2019
- The Quest for Efficient Boolean Satisfiability Solvers CAV 2002
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems TACAS 2011
- Sets with Cardinality Constraints in Satisfiability Modulo Theories VMCAI 2011