Extending Clause Learning DPLL with Parity Reasoning

DOI10.3233/978-1-60750-606-5-21zbMath1211.68385OpenAlexW46806771MaRDI QIDQ2999100

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)

Related Items (2)

Propositional SAT Solving ⋮ New stochastic local search approaches for computing preferred extensions of abstract argumentation

Uses Software

• March_eq
• MiniSat

This page was built for publication: Extending Clause Learning DPLL with Parity Reasoning