Login / Signup
Heidi Gebauer
ORCID
Publication Activity (10 Years)
Years Active: 2007-2016
Publications (10 Years): 2
Top Topics
Boolean Satisfiability
Stochastic Local Search Algorithms
Sat Solvers
Johnson Lindenstrauss
Top Venues
Comb. Probab. Comput.
COCOON
CoRR
J. Comb. Theory, Ser. A
</>
Publications
</>