文章基本信息
- 标题：Polynomial-Time Recognition of Minimal Unsatisfiable Formulas with Fixed Clause-Variable Difference
- 本地全文：下载
- 作者：Herbert Fleischner ; Stefan Szeider
- 期刊名称：Electronic Colloquium on Computational Complexity
- 印刷版ISSN：1433-8092
- 出版年度：2000
- 卷号：2000
- 出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
- 关键词：atom-clause digraph, augmenting path, conjunctive normal form, matchings, minimal unsatisfiable formulas, polynomial time recognition
