摘要： Unit Clause Small Clause Current Partial Assignment Clause Database Clause Sharing 对并行求解的理解：并行主要采用组合投资方式或分而治之理论策略。 （1）对已分治策略详见Non-Portfolio approaches 阅读全文