Concepedia

Bart Selman

BS

Statistics

Publications

110

Citations

17.6K

H-Index

59

Active since

1989

Affiliations

Cornell University(Current)

AT&T (United States)

University of Toronto

Nokia (United States)

IBM (United States)

Bart Selman is an author at Cornell University specializing in computer science, computing, and algorithms.

Publications per year

1989–2022

110

Publications

110

A new method for solving hard satisfiability problems

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

Computing, Computer Science, Mathematics +14

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

Computing, Information Systems, Decision Support Systems +6

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

Henry Kautz, Bart Selman · 1996 · 845 citations

Computing, Decision Sciences, Knowledge Representation +7

Planning as satisfiability

Henry Kautz, Bart Selman · 1992 · 828 citations

Computing, Computer Science, Formal Methods +8

Hard and easy distributions of SAT problems

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

Computing, Computer Science, Algorithms +8

1–5 of 110