No label defined (Q5005100)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7378322

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7378322

Statements

scholarly article

0 references

0 references

publication date

4 August 2021

0 references

zbMATH Keywords

computational complexity

0 references

integer expressions

0 references

integer circuits

0 references

MaRDI profile type

MaRDI publication profile

0 references

Emptiness Problems for Integer Circuits

0 references

The Complexity of Membership Problems for Circuits over Sets of Positive Numbers

0 references

The complexity of theorem-proving procedures

0 references

The decision problem for exponential diophantine equations

0 references

Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers.

0 references

The distribution of integers with a divisor in a given interval

0 references

Equivalence problems for circuits over sets of natural numbers

0 references

Circuit satisfiability and constraint satisfaction around Skolem arithmetic

0 references

Satisfiability of algebraic circuits over sets of natural numbers

0 references

On the number of integers in a generalized multiplication table

0 references

0 references

The complexity of membership problems for circuits over sets of natural numbers

0 references

0 references

Functions Definable by Arithmetic Circuits

0 references

0 references

The complexity of membership problems for circuits over sets of integers

0 references

0 references

Integer circuit evaluation is PSPACE-complete

0 references

Identifiers

10.4230/LIPIcs.MFCS.2018.5

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5005100

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5005100&oldid=36703799"