swMATH25505MaRDI QIDQ37243FDOQ37243
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_20
Cited In (17)
- Boosting Answer Set Optimization with Weighted Comparator Networks
- xclingo
- Paracoherent answer set computation
- Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
- Witnesses for Answer Sets of Logic Programs
- Title not available (Why is that?)
- ROSoClingo
- Harvey
- ArgueApply
- Catnap
- Moviola
- NoHR
- LP2ACYC
- LP2NORMAL2
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- eclingo
- Title not available (Why is that?)
This page was built for software: lp2normal
