Accéder directement au contenu

Loïc Paulevé

2
Documents
Identifiants chercheurs

Présentation

<https://loicpauleve.name>
<https://loicpauleve.name>

Publications

1144216
Image document

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

Kerian Thuillier , Anne Siegel , Loïc Paulevé
AAAI 2024 - The 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.1-8
Communication dans un congrès hal-04420454v1