Author:
Publication: Artificial Intelligence
The complexity landscape of decompositional parameters for ILP
Parallelizing SMT solving: Lazy decomposition and conciliation