Tabu search for SAT

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 1997, Pages 281-285

  Mazure, Bertrand ^a   Sais, Lakhdar ^a   Gregoire, Eric ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MATHEMATICAL MODELS; PERFORMANCE; PROBABILITY;

AUTOMATED REASONING; BASIC TABU SEARCH ALGORITHM;

ALGORITHMS;

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

References (21)