Login / Signup
Arved Friedemann
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 2
Top Topics
Metaheuristic
Computer Aided
Sat Solving
Clause Learning
Top Venues
CoRR
Microelectron. J.
</>
Publications
</>
Arved Friedemann
,
Oliver Keszöcze
Towards Clause Learning à la Carte through VarMonads.
CoRR
(2022)
Oliver Keszöcze
,
Philipp Niemann
,
Arved Friedemann
,
Rolf Drechsler
On the complexity of design tasks for Digital Microfluidic Biochips.
Microelectron. J.
78 (2018)