A SAT-based parser and completer for pictures specified by tiling (Q2459547): Difference between revisions

@@ Property / cites work @@
+Q3670607
@@ Property / cites work: Q3670607 / rank @@
+Normal rank
@@ Property / cites work @@
+Picture languages: tiling systems versus tile rewriting grammars.
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Some properties of two-dimensional on-line tessellation acceptors
+Normal rank
@@ Property / cites work @@
+Complexity of two-dimensional patterns
@@ Property / cites work: Complexity of two-dimensional patterns / rank @@
+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 @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank