A counterexample to the birational Torelli problem for Calabi-Yau threefolds.

John Christian Ottem Jørgen Vold Rennemo

Published in: J. Lond. Math. Soc. (2018)

Keyphrases

model checking
formal verification
domain specific
temporal logic
search algorithm
computational complexity
heuristic search
reinforcement learning
lower bound
upper bound
constraint satisfaction