Circuit-SAT 的多项式时间启发式方法
计算复杂性
2007-05-23 v4 数据结构与算法
摘要
本文提出了一种启发式方法，在输入维度的多项式时间和空间内，确定电路是否描述为恒等式或矛盾式。如果电路既不是恒等式也不是矛盾式，则该启发式方法找到一个满足该电路输入的赋值，使得该电路被满足。
关键词
引用
@article{arxiv.cs/0511071,
title = {A polynomial-time heuristic for Circuit-SAT},
author = {Francesco Capasso},
journal= {arXiv preprint arXiv:cs/0511071},
year = {2007}
}
备注
20 pages, 8 figures