Local search algorithms for partial MAXSAT

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 1997, Pages 263-268

  Cha, Byungki ^a   Iwama, Kazuo ^a   Kambayashi, Yahiko ^a   Miyazaki, Shuichi ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY; RANDOM PROCESSES; SET THEORY; SIMULATED ANNEALING;

LOCAL SEARCH ALGORITHMS; RANDOM FORMULAS;

ALGORITHMS;

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

References (17)