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
