"Simple magic: Synthesis and in-memory Mapping of logic execution for ..."

Rotem Ben Hur et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics