Kerian Thuillier

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 2

Top Topics

Metabolic Networks

Single Machine Scheduling Problem

Hard Combinatorial Optimization Problems

Memetic Algorithm

Top Venues

Publications

Kerian Thuillier, Anne Siegel, Loïc Paulevé
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems. AAAI (2024)
Kerian Thuillier, Caroline Baroukh, Alexander Bockmayr, Ludovic Cottret, Loïc Paulevé, Anne Siegel
Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study. CMSB (2021)