swMATH33093MaRDI QIDQ44802FDOQ44802
Author name not available (Why is that?)
Official website: https://alviano.net/software/maxino/
Source code repository: https://github.com/alviano/aspino
Cited In (21)
- Ranking with multiple reference points: efficient SAT-based learning procedures
- Anytime answer set optimization via unsatisfiable core shrinking
- Pakota: a system for enforcement in abstract argumentation
- Coalition formation in social environments with logic-based agents1
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- DLV
- Improved WPM encoding for coalition structure generation under MC-nets
- WASP
- MUSer2
- LMHS
- MiniSearch
- PESPLib
- asprin
- pyglaf
- GenericWrapper4AC
- Unsatisfiable core analysis and aggregates for optimum stable model search
- WPM3
- Open-WBO-Inc
- Enumeration of minimal models and MUSes in WASP
- WPM3: an (in)complete algorithm for weighted partial MaxSAT
- Shared aggregate sets in answer set programming
This page was built for software: maxino
