Seulkee Baek

Publication Activity (10 Years)

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

Top Topics

Computationally Costly

Search Strategies

Boolean Satisfiability

Theorem Proving

Top Venues

Publications

Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
An Impossible Asylum. Am. Math. Mon. 130 (5) (2023)
Seulkee Baek, Mario Carneiro, Marijn J. H. Heule
A Flexible Proof Format for SAT Solver-Elaborator Communication. Log. Methods Comput. Sci. 18 (2) (2022)
Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
An Impossible Asylum. CoRR (2021)
Seulkee Baek, Mario Carneiro, Marijn J. H. Heule
A Flexible Proof Format for SAT Solver-Elaborator Communication. TACAS (1) (2021)
Seulkee Baek, Mario Carneiro, Marijn J. H. Heule
A Flexible Proof Format for SAT Solver-Elaborator Communication. CoRR (2021)
Seulkee Baek
A Formally Verified Checker for First-Order Proofs. ITP (2021)