Sparsification of SAT and CSP Problems via Tractable Extensions. / Lagerkvist, Victor; Wahlstrom, Magnus.

In: ACM Transactions on Computation Theory (TOCT), Vol. 12, No. 2, 13, 26.04.2020, p. 1-29.

Research output: Contribution to journalArticle

Published

Documents

Original languageEnglish
Article number13
Pages (from-to)1-29
Number of pages29
JournalACM Transactions on Computation Theory (TOCT)
Volume12
Issue number2
DOIs
Publication statusPublished - 26 Apr 2020
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 34011394