Parallelizing SMT solving: Lazy decomposition and conciliation.

Xi Cheng Min Zhou Xiaoyu Song Ming Gu Jiaguang Sun

Published in: Artif. Intell. (2018)

Keyphrases

parallel processing
multiscale
artificial neural networks
combinatorial optimization
solving problems
decomposition method
search engine
search space
natural language processing
timetabling problem
averaged one dependence estimators