Combining cellular genetic algorithms and local search for solving satisfiability problems

Proceedings of the International Conference on Tools with Artificial Intelligence

Volumn , Issue , 1998, Pages 192-198

  Folino, Gianluigi ^a   Pizzuti, Clani ^a   Spezzano, Giandomemco ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; GENETIC ALGORITHMS; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; PROBLEM SOLVING; RANDOM PROCESSES;

CELLULAR GENETIC SATISFIABILITY PROBLEMS (CGSAT); LOCAL SEARCH METHODS (LSM);

ARTIFICIAL INTELLIGENCE;

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

References (23)