Clause-learning for modular systems

DOI10.1007/978-3-319-23264-5_37MaRDI QIDQ3449228zbMATH OpenOpenAlexFDO

Authors David G. Mitchell, Eugenia Ternovska

Publication date 4 November 2015

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-23264-5_37

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 2243370
• Extended clause learning
• On the power of clause-learning SAT solvers as resolution engines
• Conflict-driven XOR-clause learning
• Learning from conflicts in propositional satisfiability

Cites work

• A semantic account for modularity in multi-language modelling of search problems
• Conflict-driven ASP solving with external sources
• Constraint Answer Set Solving
• GRASP: a search algorithm for propositional satisfiability
• Propagation = Lazy Clause Generation

Cited in

(1)

• Hammering Mizar by Learning Clause Guidance (Short Paper).

This page was built for publication: Clause-learning for modular systems

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