17
Publications
920
Citations
13
H-Index
2001
Active since
Lucas Bordeaux is an author at Microsoft Research (United Kingdom) specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationComputational ComplexityData ScienceMathematical ProgrammingCombinatorial OptimizationImage Analysis
Publications per year
2001–2024
17
17
Carsten Rother, Lucas Bordeaux, Youssef Hamadi et al. · ACM Transactions on Graphics · 2006 · 135 citations
Experiments with massively parallel constraint solving
Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz · 2009 · 53 citations
Rows per page
1–5 of 17