Login / Signup
Philipp Sieweck
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Sat Solving
Search Tree
Boolean Satisfiability
Parallel Computing
Top Venues
ICTAI
Software Engineering
</>
Publications
</>
Thorsten Ehlers
,
Dirk Nowotka
,
Philipp Sieweck
Communication in Massively-Parallel SAT Solving.
ICTAI
(2014)
Thorsten Ehlers
,
Dirk Nowotka
,
Philipp Sieweck
,
Johannes Traub
Formal software verification for the migration of embedded code from single- to multicore systems.
Software Engineering
(2014)