Parallel Model-Based Diagnosis on Multi-Core Computers

DOI10.1613/jair.5001zbMath1352.68222OpenAlexW2338672156MaRDI QIDQ2800959

Thomas Schmitz, Kostyantyn Shchekotykhin, Dietmar Jannach

Publication date: 19 April 2016

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.5001

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Memory-limited model-based diagnosis ⋮ Model enumeration in propositional circumscription via unsatisfiable core analysis ⋮ Sequential model-based diagnosis by systematic search

This page was built for publication: Parallel Model-Based Diagnosis on Multi-Core Computers