Parallelizing SMT solving: lazy decomposition and conciliation
From MaRDI portal
Publication:1749390
DOI10.1016/j.artint.2018.01.001zbMath1444.68169MaRDI QIDQ1749390
Publication date: 16 May 2018
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2018.01.001
parallelization; satisfiability modulo theories; conciliation; lazy decomposition; theory of equality with uninterpreted functions
68W10: Parallel algorithms in computer science
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Uses Software