Wojciech Nawrocki
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 6
Publications (10 Years): 6
Publications
- Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule
- Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner
- Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
- Wojciech Nawrocki, Zhenjun Liu, Andreas Fröhlich, Marijn J. H. Heule, Armin Biere
- Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech NawrockiAn Impossible Asylum. CoRR (2021)