Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Proof complexity meets algebra - MaRDI portal

Proof complexity meets algebra

From MaRDI portal

Publication:5111442

Jump to:navigation, search

DOI10.4230/LIPIcs.ICALP.2017.110zbMath1442.03031OpenAlexW2963245542MaRDI QIDQ5111442

Joanna Ochremiak, Albert Atserias

Publication date: 27 May 2020

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2017/7495/pdf/LIPIcs-ICALP-2017-110.pdf/

zbMATH Keywords

reductions constraint satisfaction problem proof complexity gap theorems

Mathematics Subject Classification ID

Complexity of proofs (03F20) Computational aspects of satisfiability (68R07)

Related Items (2)

On vanishing sums of roots of unity in polynomial calculus and sum-of-squares ⋮ Proof Complexity Meets Algebra

This page was built for publication: Proof complexity meets algebra

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5111442&oldid=19632283"