Kerian Thuillier
According to our database1,
Kerian Thuillier
authored at least 4 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Hybrid satisfiability methods for the inference of boolean regulations controlling metabolic networks. (Méthodes de satisfiabilité hybrides pour l'inférence de régulations booléennes contrôlant des réseaux métaboliques).
PhD thesis, 2024
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2022
2021
Proceedings of the Computational Methods in Systems Biology, 2021