Paul Beame

Department of Computer Science and Engineering University of Washington , Seattle , WA 98195

2 papers in the IJCAI proceedings

IJCAI 2007

A Dynamic Approach for MPE and Weighted MAX-SAT

with Tian Sang, Henry A. Kautz

Details PDF

IJCAI 2003

Understanding the Power of Clause Learning

with Henry A. Kautz, Ashish Sabharwal

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings