Lucas Bordeaux
RSDE
.
Publications
- Lucas Bordeaux, Youssef Hamadi, and Horst Samulowitz, Experiments with Massively Parallel Constraint Solving, in International Joint Conference on Artificial Intelligence (IJCAI), July 2009
- F. Corblin, L. Bordeaux, Y. Hamadi, E. Fanchon, and L. Trilling, A SAT-based approach to decipher Gene Regulatory Networks, in Integrative Post-Genomics, RIAMS'07, Lyon, 2007
- Carsten Rother, Lucas Bordeaux, Youssef Hamadi, and Andrew Blake, AutoCollage, in ACM Transactions on Graphics (SIGGRAPH), August 2006
