Justification-Based Local Search with Adaptive Noise Strategies

DOI10.1007/978-3-540-89439-1_3zbMATH Open1182.68247OpenAlexW1485281029MaRDI QIDQ5505541FDOQ5505541

Authors: Matti Järvisalo, Tommi Junttila, 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

Recommendations

• Combining Adaptive Noise and Look-Ahead in Local Search for SAT
• scientific article
• Improved local search for circuit satisfiability
• Theory and Applications of Satisfiability Testing
• An empirical study of optimal noise and runtime distributions in local search

Mathematics Subject Classification ID

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

Cited In (3)

• Combining Adaptive Noise and Look-Ahead in Local Search for SAT
• An efficient local search with noising strategy for Google machine reassignment problem
• Improved local search for circuit satisfiability

Uses Software

• UnitWalk
• UBCSAT

This page was built for publication: Justification-Based Local Search with Adaptive Noise Strategies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505541)