A Counterexample to the Bernhard-Jablan Unknotting Conjecture.

Mark Brittenham Susan M. Hermiller

Published in: Exp. Math. (2021)

Keyphrases

model checking
formal verification
machine learning
feature selection
active learning
computational complexity
training set
decision problems
simulated annealing
machine learning algorithms
prediction accuracy
low degree