Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations.

Published in: Math. Log. Q. (1985)

Keyphrases

np complete
linear systems
data sets
algebraic equations
database
machine learning
learning algorithm
website
database systems
description logics
application domains
benchmark problems