Tuning local search for satisfiability testing

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1996, Pages 356-362

  Parkes, Andrew J ^a   Walser, Joachim P ^a  

^a UNIVERSITY OF OREGON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY; OPTIMIZATION; PERFORMANCE; PROBABILITY; RANDOM PROCESSES;

CRITICAL LOCAL SEARCH PARAMETER; LOCAL SEARCH ALGORITHM; MAXFLIPS; SATISFIABILITY TESTING;

ALGORITHMS;

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

References (16)