Pages that link to "Item:Q3304091"
From MaRDI portal
The following pages link to Optimum stable model search: algorithms and implementation (Q3304091):
Displaying 21 items.
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- Modélisation d'algorithmes d'optimisation à stratégie aléatoire. (Modelling random search optimization algorithms) (Q1091274) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Optimal reduction of models using a hybrid searching strategy (Q2572770) (← links)
- Optimising business process discovery using answer set programming (Q2694620) (← links)
- Multi-criteria optimization in answer set programming (Q2909134) (← links)
- (Q3330559) (← links)
- Answer Sets and Qualitative Optimization (Q3432002) (← links)
- Advances in WASP (Q3449189) (← links)
- Progress in clasp Series 3 (Q3449220) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Domain-Independent Cost-Optimal Planning in ASP (Q5108526) (← links)
- Answer Set Enumeration via Assumption Literals (Q5215367) (← links)
- Computing Diverse Optimal Stable Models (Q5240206) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424862) (← links)
- A general framework for preferences in answer set programming (Q6067052) (← links)
- An abstract view on optimizations in propositional frameworks (Q6496423) (← links)
- Adaptive large-neighbourhood search for optimisation in answer-set programming (Q6665706) (← links)
