Combinatory Logic Synthesizer.

Jan Bessai, Andrej Dudenhefner, Boris Ddder, Moritz Martens, Jakob Rehof

Browse the full ISoLA paper archive.