Undecidability Bounds for Integer Matrices Using Claus Instances.

Vesa Halava Tero Harju Mika Hirvensalo

Published in: Int. J. Found. Comput. Sci. (2007)

Keyphrases

lower and upper bounds
upper bound
lower bound
description logics
singular value decomposition
contingency tables
upper and lower bounds
randomly generated
knowledge base
genetic algorithm
original data
partially observable
coefficient matrix
binary matrix