Valentin Roland

According to our database¹, Valentin Roland authored at least 3 papers between 2021 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Proofs for Propositional Model Counting.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

Smoke Test Planning using Answer Set Programming.

[BibT_eX]

[DOI]

Int. J. Interact. Multim. Artif. Intell., 2021

Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021