scientific article; zbMATH DE number 1884404

zbMath1007.68718MaRDI QIDQ4798024

Christian Anger, Kathrin Konczak, T. Linke

Publication date: 18 March 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2173/21730406.htm

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

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Computing methodologies and applications (68U99) Logic programming (68N17)

Related Items (6)

The Intelligent Grounder of DLV ⋮ Enhancing DLV instantiator by backjumping techniques ⋮ Semantics and complexity of recursive aggregates in answer set programming ⋮ NoMoRe ⋮ Logic programming with infinite sets ⋮ Enhancing disjunctive logic programming systems by SAT checkers

Uses Software

• Smodels
• Lparse
• SWI-Prolog
• daVinci

This page was built for publication: