Full name Familienname, Vorname

Roland, Valentin

Main Affiliation Organisationszuordnung

secunet Security Networks AG, Essen, Germany

Results 1-2 of 2 (Search time: 0.002 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Fichte, Johannes K. ; Hecher, Markus ; Roland, Valentin	Proofs for Propositional Model Counting	Inproceedings Konferenzbeitrag	28-Jul-2022
	2		Fichte, Johannes ; Hecher, Markus ; Roland, Valentin	Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware Utilization	Konferenzbeitrag Inproceedings	2021