Arnaud de Mesmay, Yo'av Rieck, Eric Sedgwick, Martin Tancer: Embeddability in ℝ3 is NP-hard. SODA 2018: 1316-1329