Stefan Porschen

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Topics

Propositional Satisfiability

Stochastic Local Search

Top Venues

Discret. Appl. Math.

Publications