The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems. / Lagerkvist, Victor; Wahlström, Magnus.

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

Research output: Contribution to journalArticlepeer-review

Forthcoming

Documents

  • Accepted Manuscript

    Accepted author manuscript, 881 KB, PDF document

Original languageEnglish
JournalACM Transactions on Computation Theory (TOCT)
Publication statusAccepted/In press - 20 Sep 2021

ID: 43260142