On selecting a satisfying truth assignment

Annual Symposium on Foundations of Computer Science (Proceedings)

Volumn , Issue , 1991, Pages 163-169

  Papadimitriou, Christos H ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - BOOLEAN ALGEBRA; COMPUTER PROGRAMMING - ALGORITHMS;

BOOLEAN FORMULAS; RANDOMIZED ALGORITHMS; SATISFIABILITY; TRUTH ASSIGNMENT;

COMPUTER METATHEORY;

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

References (10)