The following pages link to Progress in clasp Series 3 (Q3449220):
Displaying 23 items.
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569) (← links)
- Solving problems in the polynomial hierarchy with ASP(Q) (Q2694590) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem (Q4577945) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Beyond NP: Quantifying over Answer Sets (Q5108497) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
- Coalition formation in social environments with logic-based agents1 (Q5145446) (← links)
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs (Q5240230) (← links)
