Other formats:
BibTeX
LaTeX
RIS
@inproceedings{565585, author = {Müller, Tomáš and Barták, Roman and Rudová, Hana}, address = {Toronto, Kanada}, booktitle = {Local Search Techniques in Constraint Satisfaction}, keywords = {search algorithms; constraint satisfaction; timetabling}, location = {Toronto, Kanada}, pages = {1-16}, title = {Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics}, url = {http://www.fi.muni.cz/~hanka/publ/lscs04.pdf}, year = {2004} }
TY - JOUR ID - 565585 AU - Müller, Tomáš - Barták, Roman - Rudová, Hana PY - 2004 TI - Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics CY - Toronto, Kanada KW - search algorithms KW - constraint satisfaction KW - timetabling UR - http://www.fi.muni.cz/~hanka/publ/lscs04.pdf N2 - The paper presents an iterative forward search framework for solving constraint satisfaction and optimization problems. This framework combines ideas of local search, namely improving a solution by local steps, with principles of depth-first search, in particular extending a partial feasible assignment towards a solution. Within this framework, we also propose and study a conflict-based statistics and explanationbased arc consistency maintenance. To show the versatility of the proposed framework, the dynamic backtracking algorithm with maintaining arc consistency is presented as a special instance of the iterative forward search framework. The presented techniques are compared on random constraint satisfaction problems and a real-life lecture timetabling problem. ER -
MÜLLER, Tomáš, Roman BARTÁK and Hana RUDOVÁ. Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics. In \textit{Local Search Techniques in Constraint Satisfaction}. Toronto, Kanada, 2004, p.~1-16.
|