P Beame, H Kautz, A Sabharwal

Journal of artificial intelligence research 22, 319-351, 2004

PW Beame, SA Cook, HJ Hoover

SIAM Journal on Computing 15 (4), 994-1003, 1986

W Chan, RJ Anderson, P Beame, S Burns, F Modugno, D Notkin, ...

IEEE Transactions on software Engineering 24 (7), 498-520, 1998

P Beame, P Koutris, D Suciu

Journal of the ACM (JACM) 64 (6), 1-58, 2017

T Sang, F Bacchus, P Beame, HA Kautz, T Pitassi

SAT 4, 7th, 2004

P Beame, J Hastad

Journal of the ACM (JACM) 36 (3), 643-670, 1989

T Sang, P Beame, HA Kautz

AAAI 5, 475-481, 2005

P Beame, T Pitassi

Proceedings of 37th Conference on Foundations of Computer Science, 274-282, 1996

T Pitassi, P Beame, R Impagliazzo

Computational complexity 3, 97-140, 1993

P Beame, T Pitassi

Bulletin of the EATCS 65, 66-89, 1998

P Beame, S Cook, J Edmonds, R Impagliazzo, T Pitassi

Proceedings of the twenty-seventh annual ACM symposium on Theory of …, 1995

P Beame, FE Fich

Journal of Computer and System Sciences 65 (1), 38-72, 2002

P Beame, R Impagliazzo, J Krajíček, T Pitassi, P Pudlák

Proceedings of the London Mathematical Society 3 (1), 1-26, 1996

P Beame, P Koutris, D Suciu

Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of …, 2014

P Beame, R Karp, T Pitassi, M Saks

SIAM Journal on Computing 31 (4), 1048-1075, 2002

P Beame, R Karp, T Pitassi, M Saks

Proceedings of the thirtieth annual ACM symposium on Theory of computing …, 1998

P Beame

Proceedings of the twenty-first annual ACM symposium on Theory of computing …, 1989

P Beame

Technical Report UW-CSE-95-07-01, Department of Computer Science and …, 1994

P Beame, R Impagliazzo, J Krajíček, T Pitassi, P Pudlák, A Woods

Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing …, 1992

T Sang, P Beame, H Kautz

Theory and Applications of Satisfiability Testing: 8th International …, 2005