Login / Signup
Valentin Roland
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Stable Models
Satisfiability Testing
Model Counting
Propositional Formulas
Top Venues
SAT
Int. J. Interact. Multim. Artif. Intell.
CP
</>
Publications
</>
Johannes Klaus Fichte
,
Markus Hecher
,
Valentin Roland
Proofs for Propositional Model Counting.
SAT
(2022)
Johannes Klaus Fichte
,
Markus Hecher
,
Valentin Roland
Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization.
CP
(2021)
Tobias Philipp
,
Valentin Roland
,
Lukas Schweizer
Smoke Test Planning using Answer Set Programming.
Int. J. Interact. Multim. Artif. Intell.
6 (5) (2021)