Sciweavers

2 search results - page 1 / 1
» Incremental Algorithms for Local Search from Existential Sec...
Sort
View
CP
2005
Springer
13 years 10 months ago
Incremental Algorithms for Local Search from Existential Second-Order Logic
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
Magnus Ågren, Pierre Flener, Justin Pearson
CONSTRAINTS
2007
83views more  CONSTRAINTS 2007»
13 years 4 months ago
Generic Incremental Algorithms for Local Search
When a new (global) constraint is introduced in local search, measures for the penalty and variable conflicts of that constraint must be defined, and incremental algorithms for m...
Magnus Ågren, Pierre Flener, Justin Pearson