Concepedia

Bart Selman

BS

94

Publications

15.6K

Citations

54

H-Index

1989

Active since

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

EngineeringComputer ScienceAutomated ReasoningData ScienceArtificial IntelligenceComputational ComplexityCombinatorial OptimizationFormal MethodsMachine LearningMathematical Programming

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

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

Mathematical Programming, Artificial Intelligence, Planning Theory +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

Rows per page

1–5 of 94