Login / Signup
Alexander Nöhrer
Publication Activity (10 Years)
Years Active: 2010-2015
Publications (10 Years): 0
Top Topics
Stochastic Local Search
User Interface
Boolean Satisfiability
Sat Solvers
Top Venues
Autom. Softw. Eng.
SAC
SPLC (1)
Concurr. Eng. Res. Appl.
</>
Publications
</>