k-SAT Is No Harder Than Decision-Unique-k-SAT

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03351-3_8 ◽

2009 ◽

pp. 59-70 ◽

Cited By ~ 3

Author(s):

Chris Calabro ◽

Ramamohan Paturi

Download Full-text