arrow
Back
H

Henry Kautz

University of Virginia

67H-index
247Paper Count
2.2WCitation Count
Published Papers 12
Publication Date
SKI-SAT: A CMOS-Compatible Hardware for Solving SAT Problems
err2025-01-01
err0
PREAI
errAhmet Yusuf Salim; Bart Selman; Henry Kautz; Zeljko Ignjatovic; Selçuk Köse
errShare
errSave
Reply to: On the difficulty of achieving differential privacy in practice: user-level guarantees in aggregate location data
err2022-01-10
err1
errOAAI
errBassolas, Aleix; Barbosa-Filho, Hugo; Dickinson, Brian; Dotiwalla, Xerxes; Eastham, Paul; Gallotti, Riccardo; Ghoshal, Gourab; Gipson, Bryant; Hazarie, Surendra A.; Kautz, Henry; Kucuktunc, Onur; Lieber, Allison; Sadilek, Adam; Ramasco, Jose J.
errShare
errSave
Uncovering the socioeconomic facets of human mobility
err2021-04-21
err54
errOAAI
errBarbosa, Hugo; Hazarie, Surendra; Dickinson, Brian; Bassolas, Aleix; Frank, Adam; Kautz, Henry; Sadilek, Adam; Ramasco, Jose J.; Ghoshal, Gourab
errShare
errSave
Hierarchical organization of urban mobility and its connection with city livability
err2019-10-23
err125
errOAAI
errBassolas, Aleix; Barbosa-Filho, Hugo; Dickinson, Brian; Dotiwalla, Xerxes; Eastham, Paul; Gallotti, Riccardo; Ghoshal, Gourab; Gipson, Bryant; Hazarie, Surendra A.; Kautz, Henry; Kucuktunc, Onur; Lieber, Allison; Sadilek, Adam; Ramasco, Jose J.
errShare
errSave
errShare
errSave
Learning and inferring transportation routines
err2007-04-01
err411
errOAAI
errLiao, Lin; Patterson, Donald J.; Fox, Dieter; Kautz, Henry
errShare
errSave
Building personal maps from GPS data
err2007-02-01
err66
PREAI
errLiao, Lin; Patterson, Donald J.; Fox, Dieter; Kautz, Henry
errShare
errSave
Constraints and AI planning
err2005-03-01
err34
errOAAI
errNareyek, A; Freuder, EC; Fourer, R; Giunchiglia, E; Goldman, RP; Kautz, H; Rintanen, J; Tate, A
errShare
errSave