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

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

Research output: Contribution to journalArticle

Forthcoming

Documents

  • Accepted Manuscript

    Accepted author manuscript, 486 KB, PDF document

Original languageEnglish
JournalACM Transactions on Computation Theory (TOCT)
Publication statusAccepted/In press - 13 Mar 2020

ID: 34011394