Laurent Michel
University of Connecticut
H-index: 31
North America-United States
Top articles of Laurent Michel
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint | arXiv preprint arXiv:2402.14821 | Fabio Tardivo Laurent Michel Enrico Pontelli | 2024/2/2 |
ML and Network Traces to MARS | Waldemar Cruz Laurent D Michel Benjamin Drozdenko Steven Roodbeen | 2023/7/31 | |
Optimization Bounds from Decision Diagrams in Haddock | Rebecca Gentzel Laurent Michel Willem-Jan van Hoeve | 2023/5/23 | |
Check for updates | Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers | Segmentation Framework via Optimal Mass Transportation Pre-processing Jia-Wei Liao¹ Tsung-Ming Huang Tiexiang Li | 2023/7/17 |
A review of the Constraint Programming MOOC on EdX | Augustin Delecluse Guillaume Derval Laurent Michel Pierre Schaus Pascal Van Hentenryck | 2023 | |
FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks | IEEE Transactions on Dependable and Secure Computing | Devon Callahan Timothy Curry Hazel Davidson Heytem Zitoun Benjamin Fuller | 2022/8/16 |
A comprehensive tolerant algebraic side-channel attack over modern ciphers using constraint programming | Journal of Cryptographic Engineering | Fanghui Liu Waldemar Cruz Laurent Michel | 2022/6 |
Constraints propagation on GPU: a case study for AllDifferent | Proceedings of the 37th Italian Conference on Computational Logic | Fabio Tardivo Agostino Dovier | 2022/1 |
Heuristics for MDD Propagation in HADDOCK | 28th International Conference on Principles and Practice of Constraint Programming (CP 2022) | Rebecca Gentzel Laurent Michel Willem-Jan van Hoeve | 2022/1 |
DUELMIPs: Optimizing SDN Functionality and Security | Timothy Curry Gabriel De Pace Benjamin Fuller Laurent Michel Yan Lindsay Sun | 2022 | |
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming (CP 2021) | Henry Selvaraj Grzegorz Chmaj Dawid Zydek | 2021/1/6 | |
MiniCP: a lightweight solver for constraint programming | Mathematical Programming Computation | Laurent Michel Pierre Schaus Pascal Van Hentenryck | 2021/3 |
LIPIcs, Volume 210, CP 2021, Complete Volume | Laurent D Michel | 2021 | |
HADDOCK: A Language and Architecture for Decision Diagram Compilation | Rebecca Gentzel Laurent Michel W-J van Hoeve | 2020 | |
An efficient constraint based framework forhandling floating point SMT problems | arXiv preprint arXiv:2002.12441 | Heytem Zitoun Claude Michel Laurent Michel Michel Rueher | 2020/2/27 |
Bringing freedom in variable choice when searching counter-examples in floating point programs | arXiv preprint arXiv:2002.12447 | Heytem Zitoun Claude Michel Laurent Michel Michel Rueher | 2020/2/27 |