On the satisfiability and maximum satisfiability of random 3-CNF formulas

Proceedings of the Fourth Annual ACM-SIAM Symposium on Discrete Algorithms

Volumn , Issue , 1993, Pages 322-330

  Broder, Andrei Z ^a   Frieze, Alan M ^a   Upfal, Eli ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; HEURISTIC METHODS; LOGIC PROGRAMMING; OPTIMIZATION; RANDOM PROCESSES;

MAXIMUM SATISFIABILITY; PURE LITERAL RULE HEURISTIC; RANDOM 3-CNF FORMULAS; SATISFIABILITY;

DATA STRUCTURES;

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

References (20)