Login / Signup
Wojciech Nawrocki
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 6
Top Topics
Fixed Number
Formal Verification
Model Counting
Satisfiability Testing
Top Venues
SAT
CoRR
ITP
Am. Math. Mon.
</>
Publications
</>