"au:"Pascal Van Hentenryck"" — arXiv2 Search