TY - RPRT TI - Model Counting of Query Expressions: Limitations of Propositional Methods AU - Paul Beame AU - Jerry Li AU - Sudeepa Roy AU - Dan Suciu PY - 2013 UR - https://arxiv.org/abs/1312.4125 ID - 1312.4125 ER -