LEARNING DOMAIN-SPECIFIC HEURISTICS FOR ANSWER SET SOLVERS

DOI10.4230/LIPICS.ICLP.2010.14zbMath1237.68182OpenAlexW2248956692MaRDI QIDQ2883067

Marcello Balduccini

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_a25c.html

zbMATH Keywords

answer set programmingsolversdomain-specific heuristics

Mathematics Subject Classification ID

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

Uses Software

• Smodels

This page was built for publication: LEARNING DOMAIN-SPECIFIC HEURISTICS FOR ANSWER SET SOLVERS