Bart Selman

From Chessprogramming wiki
Jump to: navigation, search

Home * People * Bart Selman

Bart Selman [1]

Bart Selman,
an American computer scientist with Dutch roots, and professor at Cornell University, previously AI researcher at AT&T Bell Laboratories. His research interests include computational sustainability, efficient reasoning procedures, SAT solvers, planning, knowledge representation, and connections between computer science and statistical physics [2]. He holds a B.Sc. in physics from Delft University of Technology in 1983, and a M.Sc. and Ph.D. in CS both from University of Toronto in 1985 and 1991 respectively. Along with Raghuram Ramanujan and Ashish Sabharwal, Bart Selman researched and published on properties of adversarial search spaces that play a key role in the success or failure of UCT and similar sampling-based approaches [3].

Selected Publications

[4] [5]

1990 ...

2000 ...

2010 ...

External Links


Up one level