SAT 和数学决策程序的紧密结合 电子书下载

原名:Tight Integration of SAT and Mathematical Decision Procedures
作品简介:MATHSAT：SAT 和数学的紧密结合。决定 。顶层过程的特点是布尔值之间更紧密的集成。……