Sparsification of SAT and CSP Problems via Tractable Extensions

Victor Lagerkvist, Magnus Wahlstrom

Research output: Contribution to journalArticlepeer-review

66 Downloads (Pure)
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

Cite this