2013
DOI: 10.12988/ams.2013.13053
|View full text |Cite
|
Sign up to set email alerts
|

The string barcoding problem

Abstract: In this paper we consider an approach to solve the string barcoding problem. This approach is based on an explicit reduction from the problem to the satisfiability problem.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2013
2013
2013
2013

Publication Types

Select...
6

Relationship

0
6

Authors

Journals

citations
Cited by 7 publications
(2 citation statements)
references
References 11 publications
0
2
0
Order By: Relevance
“…Encoding different hard problems as instances of different variants of the satisfiability problem and solving them with very efficient satisfiability algorithms has caused considerable interest (see e.g. [8] - [12]). We consider an explicit reduction from SCS to the satisfiability problem.…”
Section: Question: Is There S Such That |S| ≤ K and S Is A Superstrinmentioning
confidence: 99%
“…Encoding different hard problems as instances of different variants of the satisfiability problem and solving them with very efficient satisfiability algorithms has caused considerable interest (see e.g. [8] - [12]). We consider an explicit reduction from SCS to the satisfiability problem.…”
Section: Question: Is There S Such That |S| ≤ K and S Is A Superstrinmentioning
confidence: 99%
“…Various manufacturing and robot tasks require environments equipped with intelligent systems of sensors (see e.g. [1][2][3][4][5]). We need to solve different placement, scheduling, and assignment problems to obtain such environments.…”
Section: Introductionmentioning
confidence: 99%