Rigidity is undecidable.

Mikolaj Bojanczyk Stanislaw Szawiel Marek W. Zawadowski

Published in: Math. Struct. Comput. Sci. (2014)

Keyphrases

sufficient conditions
point correspondences
np complete
three dimensional
datalog programs
data sets
video sequences
artificial intelligence
information systems
database systems
similarity measure
optimal solution
query processing
first order logic