Publication status
publishedExternal links
Journal / series
SIAM Journal on ComputingVolume
Pages / Article No.
Publisher
SIAMSubject
Satisfiability; Exponential time; Algorithm; 3-SATOrganisational unit
03457 - Welzl, Emo (emeritus) / Welzl, Emo (emeritus)
Notes
Submitted 1 March 2012, Accepted 19 June 2013, Published online 29 April 2014.More
Show all metadata
ETH Bibliography
yes
Altmetrics