1. Emptiness problems for integer circuits;Barth,2017
2. The complexity of membership problems for circuits over sets of positive numbers;Breunig,2007
3. The complexity of theorem-proving procedures;Cook,1971
4. Complexity of constraint satisfaction problems over finite subsets of natural numbers;Dose,2016
5. The decision problem for exponential Diophantine equations;Davis;Ann. Math.,1961