Lpopt: a rule optimization tool for answer set programming

DOI10.1007/978-3-319-63139-4_7MaRDI QIDQ6828524zbMATH OpenFDO

Authors Manuel Bichler, Michael Morak, Stefan Woltran

Publication date 13 October 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic programming (68N17)

Cited in

(1)

• DIRT: a literature-based benchmark suite for grounders

This page was built for publication: Lpopt: a rule optimization tool for answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6828524)