Login / Signup
Chris Lambert
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Symmetry Breaking
Statistical Analyses
Combinatorial Problems
Boolean Optimization
Top Venues
CoRR
FMCAD
</>
Publications
</>
Zhiyi Huang
,
Chris Lambert
,
Zipei Nie
,
Richard Peng
Simpler Analyses of Union-Find.
CoRR
(2023)
Evan Lohn
,
Chris Lambert
,
Marijn J. H. Heule
Compact Symmetry Breaking for Tournaments.
FMCAD
(2022)