Pascal Van Hentenryck
0000-0001-7085-9994
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Constraint Satisfaction and Optimization
(181)
Logic, programming, and type systems
(94)
Transportation and Mobility Innovations
(74)
Optimal Power Flow Distribution
(72)
Formal Methods in Verification
(66)
Affiliations
Boston College
Griffith University
Australian National University
Commonwealth Scientific and Industrial Research Organisation
University of Sydney