Answer set solver backdoors

DOI10.1007/978-3-319-11558-0_51MaRDI QIDQ2938538zbMATH OpenOpenAlexFDO

Authors Emilia Oikarinen, Matti Järvisalo

Publication date 14 January 2015

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11558-0_51

Mathematics Subject Classification ID

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

Recommendations

• Backdoors to tractable answer set programming
• Backdoors in the Context of Learning
• Backdoors to satisfaction
• Backdoor sets for CSP
• Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search

Cited in

(4)

• Backdoors to tractable answer set programming
• Backdoors in the Context of Learning
• The good, the bad, and the odd: cycles in answer-set programs
• scientific article; zbMATH DE number 7724246 (Why is no real title available?)

This page was built for publication: Answer set solver backdoors

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