3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2022
Towards Clause Learning à la Carte through VarMonads
Arved Friedemann, Oliver Keszocze
More and more languages have a need for constraint solving capabilities for features like error detection or automatic code generation. Imagine a dependently typed language that ca…
cs.ET2014★ 3 cited
Embedding of Large Boolean Functions for Reversible Logic
Mathias Soeken, Robert Wille, Oliver Keszocze +2
Reversible logic represents the basis for many emerging technologies and has recently been intensively studied. However, most of the Boolean functions of practical interest are irr…