TY - RPRT TI - Characterizing Successful Formulas: the Multi-agent Case AU - Sanchit Saraf AU - Sumit Sourabh PY - 2012 UR - https://arxiv.org/abs/1209.0935 ID - 1209.0935 ER -