B Selman, DG Mitchell, HJ Levesque

Artificial intelligence 81 (1-2), 17-29, 1996

HA Kautz, B Selman

ECAI 92, 359-363, 1992

H Kautz, B Selman, M Shah

Communications of the ACM 40 (3), 63-65, 1997

D Mitchell, B Selman, H Levesque

Aaai 92, 459-465, 1992

H Kautz, B Selman

Proceedings of the national conference on artificial intelligence, 1194-1201, 1996

B Selman, HA Kautz, B Cohen

AAAI 94, 337-343, 1994

R Monasson, R Zecchina, S Kirkpatrick, B Selman, L Troyansky

Nature 400 (6740), 133-137, 1999

B Selman, HA Kautz, B Cohen

Cliques, coloring, and satisfiability 26, 521-532, 1993

CP Gomes, B Selman, H Kautz

AAAI/IAAI 98 (1998), 431-437, 1998

N Bjorck, CP Gomes, B Selman, KQ Weinberger

Advances in neural information processing systems 31, 2018

T Evgeniou, M Pontil

Advanced course on artificial intelligence, 249-257, 1999

LM Canale, HA Kautz, AE Milewski, B Selman

US Patent 5,619,648, 1997

S Kirkpatrick, B Selman

Science 264 (5163), 1297-1301, 1994

J Sung, C Ponce, B Selman, A Saxena

2012 IEEE international conference on robotics and automation, 842-849, 2012

H Kautz, B Selman

IJCAI 99, 318-325, 1999

CP Gomes, B Selman

Artificial Intelligence 126 (1-2), 43-62, 2001

CP Gomes, B Selman, N Crato, H Kautz

Journal of automated reasoning 24 (1), 67-100, 2000

D McAllester, B Selman, H Kautz

AAAI/IAAI, 321-326, 1997

B Selman, H Kautz

IJCAI 93, 290-295, 1993

H Kautz, B Selman, M Shah

AI magazine 18 (2), 27-27, 1997