maxino

MaRDI QIDQ44802swMATHFDO

Official website https://alviano.net/software/maxino/

Source code repository https://github.com/alviano/aspino

Cited in

(21)

• Open-WBO-Inc
• WPM3: an (in)complete algorithm for weighted partial MaxSAT
• DLV
• Ranking with multiple reference points: efficient SAT-based learning procedures
• WASP
• Improved WPM encoding for coalition structure generation under MC-nets
• MUSer2
• Enumeration of minimal models and MUSes in WASP
• Pakota: a system for enforcement in abstract argumentation
• LMHS
• MiniSearch
• PESPLib
• asprin
• pyglaf
• Shared aggregate sets in answer set programming
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• Anytime answer set optimization via unsatisfiable core shrinking
• Unsatisfiable core analysis and aggregates for optimum stable model search
• Coalition formation in social environments with logic-based agents1
• GenericWrapper4AC
• WPM3

This page was built for software: maxino