Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

Resolution over linear equations is a natural extension of the popular resolution refutation system, augmented with the ability to carry out basic counting. Denoted Res ( lin R ) , this refutation system operates with disjunctions of linear equations with Boolean variables over a ring R , to refute...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Computational complexity Jg. 30; H. 1
Hauptverfasser:	Part, Fedor, Tzameret, Iddo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 01.06.2021 Springer Nature B.V
Schlagworte:	Algorithm Analysis and Problem Complexity Boolean Boolean algebra Computational Mathematics and Numerical Analysis Computer Science Fields (mathematics) Linear equations Lower bounds Mathematical analysis Polynomials Lower bounds Propositional pigeonhole principle 68Q17 Resolution over linear equations 13P15 Proof complexity Linear decision trees Tseitin formulas 03F20 Polynomial calculus Resolution
ISSN:	1016-3328, 1420-8954
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!