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)

• 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?)
• Optimizing answer set computation via heuristic-based decomposition
• Solving Advanced Argumentation Problems with Answer Set Programming
• A machine learning system to improve the performance of ASP solving based on encoding selection
• selp: a single-shot epistemic logic program solver

This page was built for software: Lpopt