Wojciech Nawrocki

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Formal Verification

Satisfiability Testing

Top Venues

Publications

Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule
Formal Verification of the Empty Hexagon Number. CoRR (2024)
Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner
An Extensible User Interface for Lean 4. ITP (2023)
Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
An Impossible Asylum. Am. Math. Mon. 130 (5) (2023)
Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule
Certified Knowledge Compilation with Application to Verified Model Counting. SAT (2023)
Wojciech Nawrocki, Zhenjun Liu, Andreas Fröhlich, Marijn J. H. Heule, Armin Biere
XOR Local Search for Boolean Brent Equations. SAT (2021)
Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
An Impossible Asylum. CoRR (2021)