Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA;
机译:使用初始相位预置DPLL(IPP-DPLL)进行突发信号接收的快速时钟同步器
机译:基于DPLL的满意度求解器的机械验证
机译:解决SAT和SAT模理论:从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL(T)
机译:用于DPLL(T)的快速线性算术求解器
机译:超越DPLL(T)的SMT:理论求解器和理论组合的新方法
机译:有关食物存在的非空间信息会提高蚂蚁工作者的搜索强度从而在与空间学习平行的过程中更快地解决迷宫问题
机译:用于DPLL(T)的快速线性算术求解器