Full name Familienname, Vorname
Roland, Valentin
 
Main Affiliation Organisations­zuordnung
 

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

PreviewAuthor(s)TitleTypeIssue Date
1Fichte-2022-Proofs for Propositional Model Counting-vor.pdf.jpgFichte, Johannes K. ; Hecher, Markus ; Roland, Valentin Proofs for Propositional Model CountingInproceedings Konferenzbeitrag 28-Jul-2022
2Fichte, Johannes ; Hecher, Markus ; Roland, Valentin Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware UtilizationKonferenzbeitrag Inproceedings 2021