查尔斯·乔丹（Charles Jordan）等：《MPIDepQBF：无知识共享的并行QBF求解》（2014） conf/sat/JordanKLS14 10.1007/978-3-319-09284-3_32 MPIDepQBF：走向无知识共享的并行QBF求解。 4 查尔斯·乔丹 1 卢卡斯·凯泽 2 弗洛里安·朗辛 三 马蒂娜·塞德尔 4 430至437 坐 坐 2014 2014 dblp记录“conf/sat/JordanKLS14”的RDF数据的来源信息 2020-10-25T23:07:24+0100