TY - RPRT TI - On the Structure and the Number of Prime Implicants of 2-CNFs AU - Navid Talebanfard PY - 2015 DO - 10.1016/j.dam.2015.06.036 UR - https://arxiv.org/abs/1408.2662 ID - 1408.2662 ER -