maxino
From MaRDI portal
Software:44802
swMATH33093MaRDI QIDQ44802FDOQ44802
Author name not available (Why is that?)
Source code repository: https://github.com/alviano/aspino
Cited In (10)
- 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
- Improved WPM encoding for coalition structure generation under MC-nets
- Unsatisfiable core analysis and aggregates for optimum stable model search
- 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
