scientific article; zbMATH DE number 6747915
From MaRDI portal
Publication:5282991
zbMath1366.68017MaRDI QIDQ5282991
Jussi Rintanen, Martin Gebser, Tomi Janhunen
Publication date: 18 July 2017
Full work available at URL: http://ebooks.iospress.nl/volumearticle/36965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Backdoors to Normality for Disjunctive Logic Programs ⋮ Answer Set Programming Modulo Acyclicity ⋮ Multi-level Algorithm Selection for ASP ⋮ The Design of the Sixth Answer Set Programming Competition ⋮ SAT Modulo Graphs: Acyclicity ⋮ Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? ⋮ Optimizing phylogenetic supertrees using answer set programming ⋮ Design and results of the Fifth Answer Set Programming Competition ⋮ Unnamed Item ⋮ Learning discrete decomposable graphical models via constraint optimization ⋮ The Seventh Answer Set Programming Competition: Design and Results ⋮ A multi-shot ASP encoding for the aircraft routing and maintenance planning problem ⋮ Writing Declarative Specifications for Clauses ⋮ Backdoors to tractable answer set programming
Uses Software
This page was built for publication: