Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints.
Lengning LiuMiroslaw TruszczynskiPublished in: AAAI (2006)
Keyphrases
- pseudo boolean constraints
- logic programming
- search algorithm
- search space
- simulated annealing
- tabu search
- memetic algorithm
- global search
- genetic algorithm
- stochastic local search
- search procedure
- optimal solution
- logic programs
- programming language
- combinatorial optimization
- pseudo boolean
- particle swarm optimization
- constraint programming
- general purpose
- knowledge representation
- job shop scheduling problem