Embeddability in the 3-Sphere Is Decidable.

Jirí Matousek Eric Sedgwick Martin Tancer Uli Wagner

Published in: J. ACM (2018)

Keyphrases

half spaces
first order logic
transitive closure
unit sphere
datalog programs
concept class
function symbols
semi supervised
worst case
computation tree logic