Pages that link to "Item:Q2851248"
From MaRDI portal
The following pages link to Normalizing Cardinality Rules Using Merging and Sorting Constructions (Q2851248):
Displaying 12 items.
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- A multiparametric view on answer set programming (Q2317973) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Multi-level Algorithm Selection for ASP (Q3449227) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997) (← links)
- Complexity and compilation of GZ-aggregates in answer set programming (Q4592998) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Rewriting optimization statements in answer-set programs (Q5240209) (← links)
