Lpopt

swMATH21595MaRDI QIDQ33400FDOQ33400

Author name not available (Why is that?)

Described by source

• Lpopt: a rule optimization tool for answer set programming

Cited In (7)

• Optimizing Answer Set Computation via Heuristic-Based Decomposition
• Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
• Title not available (Why is that?)
• Title not available (Why is that?)
• selp: A Single-Shot Epistemic Logic Program Solver
• Solving Advanced Argumentation Problems with Answer Set Programming
• A machine learning system to improve the performance of ASP solving based on encoding selection

This page was built for software: Lpopt