Login / Signup
Amir Haqshenas
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Stochastic Local Search
Sat Solving
Phase Transition
Boolean Satisfiability
Top Venues
SIAM J. Discret. Math.
</>
Publications
</>
Amin Coja-Oghlan
,
Amir Haqshenas
,
Samuel Hetterich
Walksat Stalls Well Below Satisfiability.
SIAM J. Discret. Math.
31 (2) (2017)