Login / Signup
Zsolt Bartha
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 2
Top Topics
Randomly Chosen
Pseudo Boolean Constraints
Sat Solvers
Top Venues
FOCS
Discret. Math.
</>
Publications
</>
Zsolt Bartha
,
Júlia Komjáthy
,
Järvi Raes
Sharp bound on the truncated metric dimension of trees.
Discret. Math.
346 (8) (2023)
Zsolt Bartha
,
Nike Sun
,
Yumeng Zhang
Breaking of 1RSB in Random Regular MAX-NAE-SAT.
FOCS
(2019)