Login / Signup
Danny Nam
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Sat Solvers
Constraint Satisfaction
Pseudo Boolean
Search Tree
Top Venues
FOCS
CoRR
</>
Publications
</>
Danny Nam
,
Allan Sly
,
Youngtak Sohn
One-step replica symmetry breaking of random regular NAE-SAT.
FOCS
(2022)
Danny Nam
,
Allan Sly
,
Youngtak Sohn
One-step replica symmetry breaking of random regular NAE-SAT II.
CoRR
(2021)
Danny Nam
,
Allan Sly
,
Youngtak Sohn
One-step replica symmetry breaking of random regular NAE-SAT.
FOCS
(2021)