maxino

MaRDI QIDQ44802swMATHFDO

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
• 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