Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis. - Tristan Schäfer; Jan Bessai; Constantin Chaumet; Jakob Rehof; Christian Riest (WAFR, 2022)

Finite Combinatory Logic with Predicates. - Andrej Dudenhefner; Christoph Stahl; Constantin Chaumet; Felix Laarmann; Jakob Rehof (TYPES, 2023)

CLS-CAD: Synthesizing CAD Assemblies in Fusion 360. - Constantin Chaumet; Jakob Rehof (CoRR, 2023)

A knowledge-driven framework for synthesizing designs from modular components. - Constantin Chaumet; Jakob Rehof; Thomas Schuster 001 (CoRR, 2023)