Seulkee Baek
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 6
Publications (10 Years): 6
Publications
- Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
- Seulkee Baek, Mario Carneiro, Marijn J. H. Heule
- Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech NawrockiAn Impossible Asylum. CoRR (2021)
- Seulkee Baek