Login / Signup
Till Berger
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Sat Solving
Propositional Satisfiability
Parallel Computers
Clause Learning
Top Venues
Software Engineering (Workshops)
</>
Publications
</>
Till Berger
,
David Sabel
Parallelizing DPLL in Haskell.
Software Engineering (Workshops)
(2013)