Login / Signup
Markus Zisser
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Weighted Model Counting
Upper Bound
Multiscale
Probabilistic Inference
Top Venues
ESA
CP
</>
Publications
</>
Johannes Klaus Fichte
,
Markus Hecher
,
Markus Zisser
An Improved GPU-Based SAT Model Counter.
CP
(2019)
Johannes Klaus Fichte
,
Markus Hecher
,
Stefan Woltran
,
Markus Zisser
Weighted Model Counting on the GPU by Exploiting Small Treewidth.
ESA
(2018)