UniTriSat: Unimodular Triangulations via SATISFIABILITY / Kyle Huang / FPSAC 2026
FPSAC 2026
0:00 / 0:00
UniTriSat: Unimodular Triangulations via SATISFIABILITY / Kyle Huang / FPSAC 2026
30 просмотров · 8 дней назад
FPSAC 2026
2 подписчика
30 просмотров · 8 дней назад
See https://sites.math.washington.edu/fps... for more details.
