A machine learning system to improve the performance of ASP solving based on encoding selection (Q2694597): Difference between revisions

@@ Property / describes a project that uses @@
+Lpopt
@@ Property / describes a project that uses: Lpopt / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gringo
@@ Property / describes a project that uses: Gringo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+aspeed
@@ Property / describes a project that uses: aspeed / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+claspfolio 2
@@ Property / describes a project that uses: claspfolio 2 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-031-15707-3_32
+Normal rank
@@ Property / OpenAlex ID @@
+W4293180339
@@ Property / OpenAlex ID: W4293180339 / rank @@
+Normal rank
@@ Property / cites work @@
+Lpopt: a rule optimization tool for answer set programming
+Normal rank
@@ Property / cites work @@
+Q5020969
@@ Property / cites work: Q5020969 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+The Sixth Answer Set Programming Competition
@@ Property / cites work: The Sixth Answer Set Programming Competition / rank @@
+Normal rank
@@ Property / cites work @@
+The Seventh Answer Set Programming Competition: Design and Results
+Normal rank
@@ Property / cites work @@
+Algorithm portfolios
@@ Property / cites work: Algorithm portfolios / rank @@
+Normal rank
@@ Property / cites work @@
+.1162/153244303322753616
@@ Property / cites work: 10.1162/153244303322753616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5398056
@@ Property / cites work: Q5398056 / rank @@
+Normal rank
@@ Property / cites work @@
+<tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Q5020571
@@ Property / cites work: Q5020571 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5020987
@@ Property / cites work: Q5020987 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating hard satisfiability problems
@@ Property / cites work: Generating hard satisfiability problems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2694597