Constantin Chaumet

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Design Space Exploration

Rewrite Systems

Knowledge Driven

Quantifier Free

Top Venues

Publications

Constantin Chaumet, Jakob Rehof, Thomas Schuster
A knowledge-driven framework for synthesizing designs from modular components. CoRR (2023)
Constantin Chaumet, Jakob Rehof
CLS-CAD: Synthesizing CAD Assemblies in Fusion 360. CoRR (2023)
Andrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof
Finite Combinatory Logic with Predicates. TYPES (2023)
Tristan Schäfer, Jan Bessai, Constantin Chaumet, Jakob Rehof, Christian Riest
Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis. WAFR (2022)