BeamePaul

Exact Model Counting of Query Expressions

BeamePaul, LiJerry, RoySudeepa, 2017 .

Toward Verifying Nonlinear Integer Arithmetic

BeamePaul, LiewVincent, 2019 .

Formula Caching in DPLL

BeamePaul, ImpagliazzoRussell, PitassiToniann, 2010 .

Communication Steps for Parallel Query Processing

BeamePaul, SuciuDan, KoutrisParaschos, 2017 .

Time-space trade-off lower bounds for randomized computation of decision problems

BeamePaul, SaksMichael, VeeErik, 2003 .

Time-Space Tradeoffs for Branching Programs

BeamePaul, SaksMichael, 2001 .