BriefGPT.xyz
May, 2022
超冗余:一种用于布尔函数化简复杂度分析的工具
Superredundancy: A tool for Boolean formula minimization complexity analysis
HTML
PDF
Paolo Liberatore
TL;DR
本文探讨了超冗余子句和超不可约子句的概念,以及如何通过引入新变量将子句变为超不可约,从而证明最小公式大小的复杂性难题或在忘记变量或修订公式时确定大小。
Abstract
A
superredundant clause
is a clause that is redundant in the
resolution closure
of a formula. The converse concept of superirredundancy ensures membership of the clause in all
→