OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
- 11 June 2016
- book chapter
- Published by Springer Nature
- p. 547-553
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A Proof-Sensitive Approach for Small Propositional Interpolants2016
- Search-Space Partitioning for Parallelizing SMT Solvers2015
- eVolCheck: Incremental Upgrade Checker for C2013
- PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification2013
- The OpenSMT Solver2010
- Partitioning Search Spaces of a Randomized SearchLecture Notes in Computer Science, 2009
- A Fast Linear-Arithmetic Solver for DPLL(T)2006
- Simplify: a theorem prover for program checkingJournal of the ACM, 2005
- GRASP: a search algorithm for propositional satisfiabilityIEEE Transactions on Computers, 1999
- An Economics Approach to Hard Computational ProblemsScience, 1997