Programming for modular reconfigurable robots (Q1758696): Difference between revisions

@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DIMACS
@@ Property / describes a project that uses: DIMACS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4794211
@@ Property / cites work: Q4794211 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalized kinematic modeling method for modular robots
+Normal rank
@@ Property / cites work @@
+Q3598933
@@ Property / cites work: Q3598933 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconfiguration of Cube-Style Modular Robots Using O(logn) Parallel Moves
+Normal rank
@@ Property / cites work @@
+Genetic and hybrid algorithms for graph coloring
@@ Property / cites work: Genetic and hybrid algorithms for graph coloring / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding complex decision procedures inside an interactive theorem prover.
+Normal rank
@@ Property / cites work @@
+Q4518913
@@ Property / cites work: Q4518913 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings
+Normal rank
@@ Property / cites work @@
+On the parallel complexity of discrete relaxation in constraint satisfaction networks
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae
+Normal rank
@@ Property / cites work @@
+Planning as satisfiability: parallel plans and algorithms for plan search
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840774
@@ Property / cites work: Q4840774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687265
@@ Property / cites work: Q5687265 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterizing above Guaranteed Values: MaxSat and MaxCut
+Normal rank