Emptiness Problems for Integer Circuits

@inproceedings{Barth2017EmptinessPF,
  title={Emptiness Problems for Integer Circuits},
  author={D. Barth and Moritz Beck and Titus Dose and Christian Gla{\ss}er and Larissa Michler and Marc Technau},
  booktitle={MFCS},
  year={2017}
}
We study the computational complexity of emptiness problems for circuits over sets of natural numbers with the operations union, intersection, complement, addition, and multiplication. For most settings of allowed operations we precisely characterize the complexity in terms of completeness for classes like NL, NP, and PSPACE. The case where intersection, addition, and multiplication is allowed turns out to be equivalent to the complement of polynomial identity testing (PIT). Our results… Expand
Emptiness problems for integer circuits
Balance Problems for Integer Circuits
  • Titus Dose
  • Computer Science, Mathematics
  • Electron. Colloquium Comput. Complex.
  • 2018
Balance problems for integer circuits
  • Titus Dose
  • Mathematics, Computer Science
  • Theor. Comput. Sci.
  • 2019
Circuit satisfiability and constraint satisfaction around Skolem Arithmetic

References

SHOWING 1-10 OF 39 REFERENCES
Equivalence Problems for Circuits over Sets of Natural Numbers
Satisfiability of algebraic circuits over sets of natural numbers
Circuit satisfiability and constraint satisfaction around Skolem Arithmetic
The Complexity of Membership Problems for Circuits over Sets of Integers
Arithmetic Circuits: A survey of recent results and open questions
Integer circuit evaluation is PSPACE-complete
  • Ke Yang
  • Mathematics, Computer Science
  • Proceedings 15th Annual IEEE Conference on Computational Complexity
  • 2000
Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers
  • Titus Dose
  • Mathematics, Computer Science
  • Electron. Colloquium Comput. Complex.
  • 2016
...
1
2
3
4
...