Author:
Publication: Artificial Intelligence
Parallelizing SMT solving: Lazy decomposition and conciliation
Editorial Board