Lpopt
From MaRDI portal
Cited in
(17)- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- scientific article; zbMATH DE number 7453125 (Why is no real title available?)
- scientific article; zbMATH DE number 7455711 (Why is no real title available?)
- 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