Constantin Chaumet

According to our database, Constantin Chaumet authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A knowledge-driven framework for synthesizing designs from modular components.

Constantin Chaumet, Jakob Rehof, Thomas Schuster

CoRR, 2023

CLS-CAD: Synthesizing CAD Assemblies in Fusion 360.

Constantin Chaumet, Jakob Rehof

CoRR, 2023

Finite Combinatory Logic with Predicates.

Andrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof

Proceedings of the 29th International Conference on Types for Proofs and Programs, 2023

2022

Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis.

Tristan Schäfer, Jan Bessai, Constantin Chaumet, Jakob Rehof, Christian Riest

Proceedings of the Algorithmic Foundations of Robotics XV, 2022