TY - RPRT TI - On the Number of 2-SAT Functions AU - Liviu Ilinca AU - Jeff Kahn PY - 2010 DO - 10.1017/s096354830900995x UR - https://arxiv.org/abs/1005.2863 ID - 1005.2863 ER -