Using membrane calculus to describe DPLL algorithm with clause learning

DOI10.11990/JHEU.201709122MaRDI QIDQ5195749zbMATH OpenFDO

Authors Zhuang Li, Lei Liu, Shuai Lü, Junqi Ren

Publication date 2 October 2019

Full work available at URL https://doi.org/10.11990/JHEU.201709122

zbMATH Keywords

artificial intelligenceautomated reasoningproblem solvingformal methodmembrane calculus

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) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Logic for Programming, Artificial Intelligence, and Reasoning
• Formula Caching in DPLL
• Lemma Learning in the Model Evolution Calculus
• scientific article; zbMATH DE number 2243370
• Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning

This page was built for publication: Using membrane calculus to describe DPLL algorithm with clause learning

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