Clause-learning for modular systems

DOI10.1007/978-3-319-23264-5_37zbMATH Open1467.68169OpenAlexW2405978955MaRDI QIDQ3449228FDOQ3449228

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

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

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)

Cites Work

• Constraint Answer Set Solving
• Conflict-driven ASP solving with external sources
• A semantic account for modularity in multi-language modelling of search problems
• 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)