OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
From MaRDI portal
Publication:2818042
DOI10.1007/978-3-319-40970-2_35zbMath1475.68438OpenAlexW2488157396MaRDI QIDQ2818042
Antti E. J. Hyvärinen, Natasha Sharygina, Leonardo Alt, Matteo Marescotti
Publication date: 5 September 2016
Published in: Theory and Applications of Satisfiability Testing – SAT 2016 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-40970-2_35
Parallel algorithms in computer science (68W10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
Lattice-based refinement in bounded model checking, SMT-based verification of program changes through summary repair, An interdisciplinary experimental evaluation on the disjunctive temporal problem, Unnamed Item, Unnamed Item, Farkas-based tree interpolation, Exploiting partial variable assignment in interpolation-based model checking
Uses Software
Cites Work