A Lightweight Component Caching Scheme for Satisfiability Solvers

A Lightweight Component Caching Scheme for Satisfiability Solvers
复制标题

可满足性求解器的轻量级组件缓存方案

DOI：
--
复制
发表时间：
2007
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
通讯作者：
Adnan Darwiche
Adnan Darwiche
中科院分区：
--
文献类型：
--
作者：
Knot Pipatsrisawat;Adnan Darwiche

文献摘要

被引文献

相似文献

我们在本文中介绍了一种轻巧的技术，用于减少由基于DPLL的SAT求解器所经常实行的非平局回溯引起的工作重复。提出的技术可以看作是部分组件缓存方案。对该技术的经验评估揭示了广泛的工业实例的重大改进。
We introduce in this paper a lightweight technique for reducing work repetition caused by non-chronological backtracking commonly practiced by DPLL-based SAT solvers. The presented technique can be viewed as a partial component caching scheme. Empirical evaluation of the technique reveals significant improvements on a broad range of industrial instances.