钢铁企业原料码头及原料场是铁矿石、焦煤等原料输入和存储的主要物流节点,受到泊位、堆卸料和运输设备及原料场存储空间等一系列......

CDCL(Conflict Derive Clause Learning)算法是解决布尔可满足性问题(Satisfiability Problem,SAT)的一种完备算法,CDCL算法求解过......

可满足性问题(Satisfiability Problem,SAT问题)是数理逻辑中的一个经典问题,也是自动推理的一个重要研究方向。在理论应用方面,许......