PV

Pascal Van Hentenryck

Georgia Institute of Technology 0000-0001-7085-9994

764

Publications

17,760

Citations

58

h-index

297

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (426)
Preprint (192)
Book Chapter (114)
Book (12)
Other (5)

Filter by Open Access Type

Open Access (339)
Closed Access (425)

Filter by Authors

Pascal Van Hentenryck (764)
Laurent Michel (79)
Russell Bent (63)
Ferdinando Fioretto (54)
Carleton Coffrin (47)

Filter by Topics

Constraint Satisfaction and Optimization (185)
Logic, programming, and type systems (96)
Optimal Power Flow Distribution (77)
Transportation and Mobility Innovations (74)
Formal Methods in Verification (69)