Multi-level Algorithm Selection for ASP (Q3449227): Difference between revisions

@@ Property / cites work @@
+Magic sets for disjunctive Datalog programs
@@ Property / cites work: Magic sets for disjunctive Datalog programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011298
@@ Property / cites work: Q3011298 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalizing Cardinality Rules Using Merging and Sorting Constructions
+Normal rank
@@ Property / cites work @@
+ASP-Core-2 Input Language Format
@@ Property / cites work: ASP-Core-2 Input Language Format / rank @@
+Normal rank
@@ Property / cites work @@
+Design and results of the Fifth Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+Q5282991
@@ Property / cites work: Q5282991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+aspeed: Solver scheduling via answer set programming
+Normal rank
@@ Property / cites work @@
+<tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Some (in)translatability results for normal logic programs and propositional theories
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank