scientific article

zbMath1209.68514MaRDI QIDQ3562927

Predrag Janičić, Filip Marić

Publication date: 28 May 2010

Full work available at URL: http://www.mii.lt/informatica/htm/INFO772.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SAT problemformal proofsIsabelleDPLL procedureIsar

Mathematics Subject Classification ID

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

Related Items

Extracting a DPLL Algorithm, Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL

Uses Software

• MiniSat
• Isabelle/Isar
• Isar