Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Decision and optimization problems in the Unreliable-Circuit Logic   The ambition constrained validity and the model witness problems in the logic
UCL, for reasoning about circuits with unreliable gates, are analyzed.
Moreover, two additional problems, motivated by the applications, are studied.
One consists of finding bounds on the reliability rate of the gates that ensure
that a given circuit has an intended success rate. The other consists of
finding a reliability rate of the gates that maximizes the success rate of a
given circuit. Sound and complete algorithms are developed for these problems
and their computational complexity is studied.

20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
14
The categories of this paper are: math-ph
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
21
The categories of this paper are: adap-org
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga