Extending clause learning DPLL with parity reasoning

DOI10.3233/978-1-60750-606-5-21MaRDI QIDQ2999100zbMATH OpenOpenAlexFDO

Authors Tero Laitinen, Tommi Junttila, Ilkka Niemelä

Publication date 11 May 2011

Full work available at URL https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#LaitinenJN10

Mathematics Subject Classification ID

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

Recommendations

• Conflict-driven XOR-clause learning
• Simulating parity reasoning
• Extended clause learning
• scientific article; zbMATH DE number 2243370
• Combining preorder and postorder resolution in a satisfiability solver

Cited in

(8)

• The return of \textit{xorro}
• Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning
• Propositional SAT solving
• New stochastic local search approaches for computing preferred extensions of abstract argumentation
• Simulating parity reasoning
• scientific article; zbMATH DE number 1696817 (Why is no real title available?)
• Conflict-driven XOR-clause learning
• Clausal proofs for pseudo-Boolean reasoning

Describes a project that uses

Uses Software

• MiniSat
• March_eq

This page was built for publication: Extending clause learning DPLL with parity reasoning

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