activity
20182023
most citedVertical, electrolyte-gated organic transistors: continuous operation in the MA/cm regime and use as low-power artificial synapses

181 citations · 540 across the 8 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2021★ 2 cited

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR

Tobias Seufert, Felix Winterer, Christoph Scholl +3

In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the co…