Wojciech Nawrocki

Identifiers

• name variant Wojciech Nawrocki 0.60 · backfill

Papers (3)

1. Certified Knowledge Compilation with Application to Formally Verified Model Counting cs.LO · 2025 · author #2
2. Formal Verification of the Empty Hexagon Number cs.CG · 2024 · author #2
3. An Impossible Asylum math.LO · 2021 · author #5

Mentions

• 2501.12906 #2 · arxiv_oai · confidence 0.70 Wojciech Nawrocki
• 2403.17370 #2 · arxiv_oai · confidence 0.70 Wojciech Nawrocki
• 2112.02142 #5 · arxiv_oai · confidence 0.70 Wojciech Nawrocki

Frequent Coauthors

• Jeremy Avigad 2 shared papers
• Marijn J. H. Heule 2 shared papers
• Alexander Bentkamp 1 shared papers
• Bernardo Subercaseaux 1 shared papers
• Cayden Codel 1 shared papers
• James Gallicchio 1 shared papers
• Marijn Heule 1 shared papers
• Mario Carneiro 1 shared papers
• Randal E. Bryant 1 shared papers
• Seulkee Baek 1 shared papers