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
The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems - MaRDI portal

The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems

From MaRDI portal

Publication:5868883

Jump to:navigation, search

DOI10.1145/3492336zbMath1495.68158OpenAlexW4200344539WikidataQ130949699 ScholiaQ130949699MaRDI QIDQ5868883

Victor Lagerkvist, Magnus Wahlström

Publication date: 24 September 2022

Published in: ACM Transactions on Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3492336

zbMATH Keywords

constraint satisfaction problems universal algebra satisfiability problems fine-grained complexity

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Computational aspects of satisfiability (68R07)

This page was built for publication: The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems

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