Using Problem Structure for Efficient Clause Learning Ashish Sabharwal, Paul Beame, Henry Kautz University of Washington, Seattle April 23, 2003.
Communication Cost in Parallel Query Processing Dan Suciu University of Washington Joint work with Paul Beame, Paris Koutris and the Myria Team 1Beyond.
05dc
Performing Bayesian Inference by Weighted Model Counting Tian Sang, Paul Beame, and Henry Kautz Department of Computer Science & Engineering University.
Performing Bayesian Inference by Weighted Model Counting
Model Checking Large Software Specifications
