TY  - RPRT
TI  - The SAT-UNSAT transition in the adversarial SAT problem
AU  - Marco Bardoscia
AU  - Daniel Nagaj
AU  - Antonello Scardicchio
PY  - 2014
DO  - 10.1103/physreve.89.032128
UR  - https://arxiv.org/abs/1310.0967
ID  - 1310.0967
ER  -