Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics

Publication at Central Library of Charles University, Faculty of Mathematics and Physics |

2004

A new search algorithm combining local search with maintaining arc consistency