Solving the Maximum Satisfiability Problem Using an Evolutionary Local Search Algorithm.
Mohamed El-bachir MenaiMohamed BatouchePublished in: Int. Arab J. Inf. Technol. (2005)
Keyphrases
- search algorithm
- heuristic search
- distributed constraint satisfaction problems
- search strategy
- search algorithm for solving
- systematic search
- information systems
- search space
- real world
- branch and bound
- combinatorial optimization
- constraint satisfaction
- constraint satisfaction problems
- satisfiability problem
- solving problems
- quadratic programming
- information retrieval
- data mining
- data sets