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
- WASP
- MUSer2
- LMHS
- MiniSearch
- PESPLib
- asprin
- pyglaf
- GenericWrapper4AC
- Improved WPM encoding for coalition structure generation under MC-nets
- WPM3
- Unsatisfiable core analysis and aggregates for optimum stable model search
- 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
