Progress in Artificial Intelligence

DOI10.1007/b94425zbMath1205.68370OpenAlexW2496552983WikidataQ62612440 ScholiaQ62612440MaRDI QIDQ5191554

Inês Lynce, Ateet Bhalla, José T. de Sousa, João P. Marques-Silva

Publication date: 7 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94425

Mathematics Subject Classification ID

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

Related Items

Heuristic-based backtracking relaxation for propositional satisfiability ⋮ Clause redundancy and preprocessing in maximum satisfiability