Seulkee Baek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2021–2021
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ITP | A Formally Verified Checker for First-Order Proofs. | Seulkee Baek |
| 2021 | TACAS | A Flexible Proof Format for SAT Solver-Elaborator Communication. | Seulkee Baek, Mario Carneiro, Marijn J. H. Heule |