TY - RPRT TI - A Geometric Presentation of Probabilistic Satisfiability AU - Guillermo Morales-Luna PY - 2010 UR - https://arxiv.org/abs/1007.0788 ID - 1007.0788 ER -