Skip to search formSkip to main contentSkip to account menu

Bart Selman

Bart Selman is an American professor of computer science at Cornell University. He used to be at AT&T Bell Laboratories. He has authored over 90… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
AI@50Artificial intelligenceBoolean satisfiability problemComputer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Relationships between kernel vitreousness and dry matter degradability for diverse corn germplasm: II. Ruminal and post-ruminal degradabilities
Highly Cited
2008
Highly Cited
2008
International Trade and Labor Standards: A Proposal for Linkage
Should some rights to engage in international trade be made conditional on the promotion of labor standards? The critics of such… 
2006
2006
Soaring behaviour in the Samoan flying fox (Pteropus samoensis)
Bats seldom soar because it is behaviour generally associated with the use of thermals, which are normally of insufficient… 
2006
2006
Deconstructing Planning as Satisfiability
The idea of encoding planning as satisfiability was proposed in 1992 as a method for generating interesting SAT problems, but did… 
2004
2004
The Computational Complexity of Quantified Constraint Satisfaction
The constraint satisfaction problem (CSP) is a framework for modelling search problems. An instance of the CSP consists of a set… 
Highly Cited
2003
Highly Cited
2003
Specifying and executing behavioral requirements: the play-in/play-out approach
A powerful methodology for scenario-based specification of reactive systems is described, in which the behavior is “played in… 
Highly Cited
1995
Highly Cited
1995
Male parental care in the orange-tufted sunbird: behavioural adjustments in provisioning and nest guarding effort
1991
1991
Completeness for nondeterministic complexity classes
We demonstrate differences between reducibilities and corresponding completeness notions for nondeterministic time and space… 
1988
1988
Presuppositions as Beliefs
Most theories of presupposition implicitly assume that presuppositions are facts, and that all agents involved in a discourse… 
1983
1983
The Biology and Herbivory Rates of Novacastria Nothofagi Selman (Coleoptera: Chrysomelidae), a New Genus and Species on Nothofagus Moorei in Australian Temperate Rain Forests.
Novacastria nothofagi Selman, a new species and genus, is described and illustrated. A new key is produced to the genera related… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)