Incremental Algorithms for Local Search from Existential Second-Order Logic
From MaRDI portal
Publication:3524163
DOI10.1007/11564751_7zbMath1153.68441OpenAlexW2115728504MaRDI QIDQ3524163
Pierre Flener, Magnus Ågren, Justin Pearson
Publication date: 9 September 2008
Published in: Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11564751_7
Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Generic incremental algorithms for local search ⋮ Design of financial CDO squared transactions using constraint programming ⋮ Revisiting constraint-directed search
Uses Software