Using Local Search for Guiding Enumeration in Constraint Solving

DOI10.1007/11861461_8zbMath1158.68495OpenAlexW1577968989MaRDI QIDQ3541831

Broderick Crawford, Eric Monfroy, Carlos Castro

Publication date: 27 November 2008

Published in: Artificial Intelligence: Methodology, Systems, and Applications (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10533/177562

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Using Local Search for Guiding Enumeration in Constraint Solving