Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computing properties of stable configurations of thermodynamic binding
  networks   The promise of chemical computation lies in controlling systems incompatible
with traditional electronic micro-controllers, with applications in synthetic
biology and nano-scale manufacturing. Computation is typically embedded in
kinetics---the specific time evolution of a chemical system. However, if the
desired output is not thermodynamically stable, basic physical chemistry
dictates that thermodynamic forces will drive the system toward error
throughout the computation. The thermodynamic binding network (TBN) model was
introduced to formally study how the thermodynamic equilibrium can be made
consistent with the desired computation, and it idealizes tradeoffs between
configurational entropy and binding. Here we prove the computational hardness
of natural questions about TBNs and develop a practical algorithm for verifying
the correctness of constructions by translating the problem into propositional
logic and solving the resulting formula. The TBN model together with automated
verification tools will help inform strategies for error reduction in molecular
computing, including the extensively studied models of strand displacement
cascades and algorithmic tile assembly.

12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
11
The categories of this paper are: hep-lat
2
The categories of this paper are: math
18
The categories of this paper are: econ