Lpopt

swMATH21595MaRDI QIDQ33400FDOQ33400

Author name not available (Why is that?)

Official website: http://dbai.tuwien.ac.at/proj/lpopt/

Cited In (17)

• 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?)
• GASP
• Cplus2ASP
• GRAPPA
• htd
• GrappaVis
• DIAMOND
• GI-log
• selp
• modopt
• OMiGA
• 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