Gelisp: A Library to Represent Musical CSPs and Search Strategies.
Mauricio ToroCamilo RuedaCarlos AgónGérard AssayagPublished in: CoRR (2015)
Keyphrases
- search strategies
- constraint satisfaction
- constraint programming
- search strategy
- constraint satisfaction problems
- search algorithm
- heuristic search
- search methods
- evolutionary algorithm
- retrieval effectiveness
- backtrack search
- search procedures
- search problems
- search space
- arc consistency
- data structure
- selection strategies
- symmetry breaking
- sat solvers
- constraint propagation
- co occurrence
- cost function
- active learning
- meeting scheduling