Faster k-SAT algorithms using biased-PPSZ

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  • Thomas Dueholm Hansen
  • Haim Kaplan
  • Or Zamir
  • Uri Zwick
OriginalsprogEngelsk
TitelSTOC: ACM Symposium on Theory of Computing
ForlagAssociation for Computing Machinery
Publikationsdato2019
Sider578-589
DOI
StatusUdgivet - 2019
Begivenhedthe 51st Annual ACM SIGACT Symposium - Phoenix, AZ, USA
Varighed: 23 jun. 2019 → 26 jun. 2019

Konference

Konferencethe 51st Annual ACM SIGACT Symposium
LokationPhoenix, AZ, USA
Periode23/06/2019 → 26/06/2019

ID: 241750071