| Autor: |
He, Jun, Flener, Pierre, Pearson, Justin |
| Rok vydání: |
2009 |
| Předmět: |
|
| Zdroj: |
EPTCS 5, 2009, pp. 13-25 |
| Druh dokumentu: |
Working Paper |
| DOI: |
10.4204/EPTCS.5.2 |
| Popis: |
We explore the idea of using finite automata to implement new constraints for local search (this is already a successful technique in constraint-based global search). We show how it is possible to maintain incrementally the violations of a constraint and its decision variables from an automaton that describes a ground checker for that constraint. We establish the practicality of our approach idea on real-life personnel rostering problems, and show that it is competitive with the approach of [Pralong, 2007]. |
| Databáze: |
arXiv |
| Externí odkaz: |
|
