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

In: ACM Transactions on Computation Theory (TOCT), 10.05.2019.

Research output: Contribution to journalArticle

Forthcoming

Documents

  • Accepted Manuscript

    Accepted author manuscript, 1 MB, PDF-document

Original languageEnglish
JournalACM Transactions on Computation Theory (TOCT)
Publication statusAccepted/In press - 10 May 2019

ID: 34011394