Parallel SAT Solving in Bounded Model Checking
From MaRDI portal
Publication:3069995
DOI10.1093/logcom/exp002zbMath1213.68359OpenAlexW2041340053MaRDI QIDQ3069995
Bernd Becker, Erika Ábrahám, Martin Fränzle, Christian Herde, Tobias Schubert
Publication date: 2 February 2011
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exp002
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (3)
Towards better heuristics for solving bounded model checking problems ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata ⋮ Challenges in Constraint-Based Analysis of Hybrid Systems
Uses Software
This page was built for publication: Parallel SAT Solving in Bounded Model Checking
