TY - RPRT TI - Z3-connectivity with independent number 2 AU - Fan Yang AU - Xiangwen Li AU - Liangchen Li PY - 2014 UR - https://arxiv.org/abs/1411.6401 ID - 1411.6401 ER -