Faster k-SAT algorithms using biased-PPSZ

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Thomas Dueholm Hansen
  • Haim Kaplan
  • Or Zamir
  • Uri Zwick
Original languageEnglish
Title of host publicationSTOC: ACM Symposium on Theory of Computing
PublisherAssociation for Computing Machinery
Publication date2019
Pages578-589
DOIs
Publication statusPublished - 2019
Eventthe 51st Annual ACM SIGACT Symposium - Phoenix, AZ, USA
Duration: 23 Jun 2019 → 26 Jun 2019

Conference

Conferencethe 51st Annual ACM SIGACT Symposium
LocationPhoenix, AZ, USA
Periode23/06/2019 → 26/06/2019

ID: 241750071