Pages that link to "Item:Q3643122"
From MaRDI portal
The following pages link to Max-ASP: Maximum Satisfiability of Answer Set Programs (Q3643122):
Displaying 4 items.
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- MædMax: a maximal ordered completion tool (Q1799107) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)