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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Computational complexity Ročník 30; číslo 1
Hlavní autoři:	Part, Fedor, Tzameret, Iddo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cham Springer International Publishing 01.06.2021 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!