Kerian Thuillier

According to our database, Kerian Thuillier authored at least 2 papers between 2021 and 2024.

Collaborative distances:

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

2024

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.

Kerian Thuillier, Anne Siegel, Loïc Paulevé

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2021

Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study.

Kerian Thuillier, Caroline Baroukh, Alexander Bockmayr, Ludovic Cottret, Loïc Paulevé, Anne Siegel

Proceedings of the Computational Methods in Systems Biology, 2021