Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving (Q5172605): Difference between revisions

@@ Property / describes a project that uses @@
+Clingo
@@ Property / describes a project that uses: Clingo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iClingo
@@ Property / describes a project that uses: iClingo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Potassco
@@ Property / describes a project that uses: Potassco / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1873723866
@@ Property / OpenAlex ID: W1873723866 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Randolphs Robot Game is NP-hard!
@@ Property / cites work: Randolphs Robot Game is NP-hard! / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering an Incremental ASP Solver
@@ Property / cites work: Engineering an Incremental ASP Solver / rank @@
+Normal rank