Binary pattern tile set synthesis is NP-hard (Q527409): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Binary Pattern Tile Set Synthesis Is NP-hard
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6498710
@@ Property / title @@
+Binary Pattern Tile Set Synthesis Is NP-hard (English)
@@ Property / title: Binary Pattern Tile Set Synthesis Is NP-hard (English) / rank @@
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68108
@@ Property / zbMATH Open document ID: 1370.68108 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-662-47672-7_83
@@ Property / DOI: 10.1007/978-3-662-47672-7_83 / rank @@
+Normal rank
@@ Property / published in @@
+Automata, Languages, and Programming
@@ Property / published in: Automata, Languages, and Programming / rank @@
+Normal rank
@@ Property / publication date @@
+October 2015Timestamp +2015-10-27T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2015-10-27T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 27 October 2015 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q17
@@ Property / Mathematics Subject Classification ID: 68Q17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 05B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q80
@@ Property / Mathematics Subject Classification ID: 68Q80 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6714283
@@ Property / zbMATH DE Number: 6714283 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6498710
@@ Property / zbMATH DE Number: 6498710 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithmic DNA self-assembly
@@ Property / zbMATH Keywords: algorithmic DNA self-assembly / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pattern assembly
@@ Property / zbMATH Keywords: pattern assembly / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+NP-hardness
@@ Property / zbMATH Keywords: NP-hardness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computer-assisted proof
@@ Property / zbMATH Keywords: computer-assisted proof / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+massively-parallelized program
@@ Property / zbMATH Keywords: massively-parallelized program / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1589309006
@@ Property / OpenAlex ID: W1589309006 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2595528477
@@ Property / OpenAlex ID: W2595528477 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0967
@@ Property / arXiv ID: 1404.0967 / rank @@
+Normal rank
@@ Property / cites work @@
+Amplifying lower bounds by means of self-reducibility
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. I: Discharging
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. II: Reducibility
+Normal rank
@@ Property / cites work @@
+Almost-natural proofs
@@ Property / cites work: Almost-natural proofs / rank @@
+Normal rank
@@ Property / cites work @@
+DNA Computing
@@ Property / cites work: DNA Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing minimal tile sets for complex patterns in the framework of patterned DNA self-assembly
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+Search methods for tile sets in patterned DNA self-assembly
+Normal rank
@@ Property / cites work @@
+Q2878076
@@ Property / cites work: Q2878076 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Minimum Tile Sets to Self-Assemble Color Patterns
+Normal rank
@@ Property / cites work @@
+A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tileset synthesis
+Normal rank
@@ Property / cites work @@
+Binary pattern tile set synthesis is NP-hard
@@ Property / cites work: Binary pattern tile set synthesis is NP-hard / rank @@
+Normal rank
@@ Property / cites work @@
+-color bounded patterned self-assembly
@@ Property / cites work: 3-color bounded patterned self-assembly / rank @@
+Normal rank
@@ Property / cites work @@
+A SAT Attack on the Erdős Discrepancy Conjecture
@@ Property / cites work: A SAT Attack on the Erdős Discrepancy Conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum-weight triangulation is NP-hard
@@ Property / cites work: Minimum-weight triangulation is NP-hard / rank @@
+Normal rank
@@ Property / cites work @@
+Natural proofs
@@ Property / cites work: Natural proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4340879
@@ Property / cites work: Q4340879 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Optimization in Pattern Assembly
@@ Property / cites work: Combinatorial Optimization in Pattern Assembly / rank @@
+Normal rank
@@ Property / cites work @@
+The 24th Mersenne Prime
@@ Property / cites work: The 24th Mersenne Prime / rank @@
+Normal rank
@@ Property / cites work @@
+One Tile to Rule Them All: Simulating Any Tile Assembly System with a Single Universal Tile
+Normal rank
@@ Property / cites work @@
+The Two-Handed Tile Assembly Model Is Not Intrinsically Universal
+Normal rank
@@ Property / cites work @@
+Intrinsic Universality in Self-Assembly
@@ Property / cites work: Intrinsic Universality in Self-Assembly / rank @@
+Normal rank
@@ Property / cites work @@
+Study of the Kepler's conjecture: the problem of the closest packing
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2756729
@@ Property / cites work: Q2756729 / rank @@
+Normal rank
@@ Property / cites work @@
+-Color Bounded Patterned Self-assembly
@@ Property / cites work: 3-Color Bounded Patterned Self-assembly / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and complexity in self-assembly
@@ Property / cites work: Computability and complexity in self-assembly / rank @@
+Normal rank
@@ Property / cites work @@
+Intrinsic universality in tile self-assembly requires cooperation
+Normal rank
@@ Property / cites work @@
+Self-assembly of decidable sets
@@ Property / cites work: Self-assembly of decidable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Computer solution to the 17-point Erdős-Szekeres problem
+Normal rank
@@ Property / cites work @@
+Q4992866
@@ Property / cites work: Q4992866 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:527409