Louis Gauthier

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 3

Top Topics

Constraint Solvers

Fitness Landscape

Subcellular Localization

Top Venues

Publications

Louis Gauthier, Virgile Prevosto, Julien Signoles
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification. FormaliSE@ICSE (2024)
Tom Marty, Tristan François, Pierre Tessier, Louis Gauthier, Quentin Cappart, Louis-Martin Rousseau
Training a Deep Q-Learning Agent Inside a Generic Constraint Programming Solver. CoRR (2023)
Louis Gauthier, Rémicia Di Franco, Adrian W. R. Serohijos
SodaPop: a forward simulation suite for the evolutionary dynamics of asexual populations on protein fitness landscapes. Bioinform. 35 (20) (2019)