Pascal Van Hentenryck
0000-0001-7085-9994
Publications
767 total
No publications found.
Research Topics
Constraint Satisfaction and Optimization
Logic, programming, and type systems
Optimal Power Flow Distribution
Transportation and Mobility Innovations
Formal Methods in Verification
Affiliations
Georgia Institute of Technology
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.