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
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search
- Anytime answer set optimization via unsatisfiable core shrinking
- 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
- Pakota: A System for Enforcement in Abstract Argumentation
- 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
