Login / Signup
Katherine Kosaian
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Databases
Knapsack Problem
Np Hard
Computational Complexity
Top Venues
CoRR
CPP
</>
Publications
</>
Katherine Kosaian
,
Yong Kiam Tan
,
André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.
CPP
(2023)
Katherine Kosaian
,
Yong Kiam Tan
,
André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.
CoRR
(2022)