Concepedia

Bart Selman

BS

Statistics

Publications

94

Citations

15.6K

H-Index

54

Active since

1989

Affiliations

Cornell University(Current)

AT&T (United States)

University of Toronto

Nokia (United States)

Stanford University

Bart Selman is an author at Cornell University specializing in engineering, computer science, and automated reasoning.

Top concepts

Publications per year

1989–2020

94

Publications

94

A new method for solving hard satisfiability problems

Bart Selman, Hector J. Levesque, David G. M. Mitchell · 1992 · 1.2K citations

Referral Web

Henry Kautz, Bart Selman, Mehul A. Shah · Communications of the ACM · 1997 · 851 citations · Full text

Pushing the envelope: planning, propositional logic, and stochastic search

Henry Kautz, Bart Selman · 1996 · 836 citations

, , +14

Planning as satisfiability

Henry Kautz, Bart Selman · 1992 · 821 citations

Hard and easy distributions of SAT problems

David G. M. Mitchell, Bart Selman, Hector J. Levesque · National Conference on Artificial Intelligence · 1992 · 801 citations

1–5 of 94