TY  - RPRT
TI  - Adversarial Satisfiability Problem
AU  - Michele Castellana
AU  - Lenka Zdeborová
PY  - 2010
DO  - 10.1088/1742-5468/2011/03/p03023
UR  - https://arxiv.org/abs/1011.1273
ID  - 1011.1273
ER  -