Folgen
Bart Selman
Bart Selman
Professor of Computer Science, Cornell University
Bestätigte E-Mail-Adresse bei cs.cornell.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Generating hard satisfiability problems
B Selman, DG Mitchell, HJ Levesque
Artificial intelligence 81 (1-2), 17-29, 1996
23431996
Referral Web: combining social networks and collaborative filtering
H Kautz, B Selman, M Shah
Communications of the ACM 40 (3), 63-65, 1997
15011997
Planning as Satisfiability.
HA Kautz, B Selman
ECAI 92, 359-363, 1992
14601992
Hard and easy distributions of SAT problems
D Mitchell, B Selman, H Levesque
Aaai 92, 459-465, 1992
13521992
Pushing the envelope: Planning, propositional logic, and stochastic search
H Kautz, B Selman
Proceedings of the national conference on artificial intelligence, 1194-1201, 1996
12851996
Noise strategies for improving local search
B Selman, HA Kautz, B Cohen
AAAI 94, 337-343, 1994
12541994
Determining computational complexity from characteristic ‘phase transitions’
R Monasson, R Zecchina, S Kirkpatrick, B Selman, L Troyansky
Nature 400 (6740), 133-137, 1999
9601999
Local search strategies for satisfiability testing.
B Selman, HA Kautz, B Cohen
Cliques, coloring, and satisfiability 26, 521-532, 1993
9451993
Boosting combinatorial search through randomization
CP Gomes, B Selman, H Kautz
AAAI/IAAI 98, 431-437, 1998
8711998
Message filtering techniques
LM Canale, HA Kautz, AE Milewski, B Selman
US Patent 5,619,648, 1997
7931997
Critical behavior in the satisfiability of random boolean expressions
S Kirkpatrick, B Selman
Science 264 (5163), 1297-1301, 1994
7291994
Unifying SAT-based and graph-based planning
H Kautz, B Selman
IJCAI 99, 318-325, 1999
7091999
Unstructured human activity detection from rgbd images
J Sung, C Ponce, B Selman, A Saxena
2012 IEEE international conference on robotics and automation, 842-849, 2012
6592012
Algorithm portfolios
CP Gomes, B Selman
Artificial Intelligence 126 (1-2), 43-62, 2001
5442001
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
CP Gomes, B Selman, N Crato, H Kautz
Journal of automated reasoning 24 (1), 67-100, 2000
5422000
Evidence for invariants in local search
D McAllester, B Selman, H Kautz
AAAI/IAAI, 321-326, 1997
5381997
Domain-independent extensions to GSAT: Solving large structured satisfiability problems
B Selman, H Kautz
IJCAI 93, 290-295, 1993
4951993
The hidden web
H Kautz, B Selman, M Shah
AI magazine 18 (2), 27-27, 1997
4811997
Encoding plans in propositional logic
H Kautz, D McAllester, B Selman
KR 96, 374-384, 1996
4521996
Backdoors to typical case complexity
R Williams, CP Gomes, B Selman
IJCAI 3, 1173-1178, 2003
4392003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20