3-SAT Faster and Simpler-Unique-SAT Bounds for PPSZ Hold in General
Metadata only
Datum
2014Typ
- Journal Article
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
SIAM Journal on ComputingBand
Seiten / Artikelnummer
Verlag
SIAMThema
Satisfiability; Exponential time; Algorithm; 3-SATOrganisationseinheit
03457 - Welzl, Emo / Welzl, Emo
Anmerkungen
Submitted 1 March 2012, Accepted 19 June 2013, Published online 29 April 2014.