Result: PPSZ for General k-SAT and CSP—Making Hertli’s Analysis Simpler and 3-SAT Faster
Title:
PPSZ for General k-SAT and CSP—Making Hertli’s Analysis Simpler and 3-SAT Faster
Authors:
Scheder , DominikAff1, IDs0003702400259y_cor1, Steinberger, John
Source:
computational complexity. 33(2)
Database:
Springer Nature Journals