Lpopt

swMATH21595MaRDI QIDQ33400

No author found.

Described by source

• Lpopt: a rule optimization tool for answer set programming

Related Items (7)

Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving ⋮ A machine learning system to improve the performance of ASP solving based on encoding selection ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Optimizing Answer Set Computation via Heuristic-Based Decomposition ⋮ Solving Advanced Argumentation Problems with Answer Set Programming ⋮ selp: A Single-Shot Epistemic Logic Program Solver

This page was built for software: Lpopt