Improved exponential-time algorithm for k-SAT

Annual Symposium on Foundations of Computer Science - Proceedings

Volumn , Issue , 1998, Pages 628-637

  Paturi, Ramamohan ^a   Pudlak, Payel ^a   Saks, Michael E ^a   Zane, Francis ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; PROBABILITY; RANDOM PROCESSES;

DAVIS-LONGEMAN-LOVELAND (DLL) PROCEDURE; EXPONENTIAL-TIME ALGORITHMS;

BOOLEAN ALGEBRA;

EID: 0032319610     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)