Clause Sharing and Partitioning for Cloud-Based SMT Solving
- 22 September 2016
- book chapter
- Published by Springer Nature
- p. 428-443
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Cloud-Based Verification of Concurrent Software2015
- HordeSat: A Massively Parallel Portfolio SAT Solver2015
- Yices 2.22014
- CVC42011
- ManySAT: a Parallel SAT SolverJournal on Satisfiability, Boolean Modeling and Computation, 2009
- A Fast Linear-Arithmetic Solver for DPLL(T)2006
- Simplify: a theorem prover for program checkingJournal of the ACM, 2005
- Software Verification with BLAST2003
- Symbolic Model Checking without BDDs1999
- An Economics Approach to Hard Computational ProblemsScience, 1997