Finding Reductions Automatically

Michael Crouch,Neil Immerman,J. Eliot B. Moss

Birthday ...（2010）

引用 11|浏览50

暂无评分

摘要

We describe our progress building the program Reduction- Finder, which uses o-the-shelf SAT solvers together with the Cmodels system to automatically search for reductions between decision problems described in logic.

查看译文

关键词

first-order reduction,sat solver,quantier- free reduction,decision problem,off-the-shelf sat,cmodels system,program reduction-finder,descriptive complexity,first order

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要