Paulevé, Loïc

2 publications

AAAI 2024 CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems Kerian Thuillier, Anne Siegel, Loïc Paulevé

AAAI 2016 Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations Lukas Studer, Loïc Paulevé, Christoph Zechner, Matthias Reumann, María Rodríguez Martínez, Heinz Koeppl