Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization. - Johannes Klaus Fichte; Markus Hecher; Valentin Roland (CP, 2021)

Smoke Test Planning using Answer Set Programming. - Tobias Philipp; Valentin Roland; Lukas Schweizer (Int. J. Interact. Multim. Artif. Intell., 2021)

Proofs for Propositional Model Counting. - Johannes Klaus Fichte; Markus Hecher; Valentin Roland (SAT, 2022)