Unknot Recognition Through Quantifier Elimination.

Syed Mohammad Meesum T. V. H. Prathamesh

Published in: SC-Square@FLOC (2018)

Keyphrases

constraint satisfaction problems
quantifier elimination
constraint propagation
presburger arithmetic
functional programming
constraint databases
database
first order logic
artificial intelligence
computational complexity
object oriented