The following pages link to maxino (Q44802):
Displaying 11 items.
- (Q48796) (redirect page) (← links)
- WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676) (← links)
- Ranking with multiple reference points: efficient SAT-based learning procedures (Q2108155) (← links)
- Improved WPM encoding for coalition structure generation under MC-nets (Q2331103) (← links)
- Enumeration of minimal models and MUSes in WASP (Q2694547) (← links)
- Pakota: A System for Enforcement in Abstract Argumentation (Q2835885) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Coalition formation in social environments with logic-based agents1 (Q5145446) (← links)