"Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT"

Daniel Rolf (2005)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2022-09-28

a service of  Schloss Dagstuhl - Leibniz Center for Informatics