Justification-Based Local Search with Adaptive Noise Strategies

DOI10.1007/978-3-540-89439-1_3zbMath1182.68247OpenAlexW1485281029MaRDI QIDQ5505541

Tommi Junttila, Matti Järvisalo, Ilkka Niemelä

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_3

Mathematics Subject Classification ID

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

Uses Software

• UnitWalk
• UBCSAT