Igor E. Zverovich Olga I. Zverovich Polar SAT and related graphs. 155-167 2006 4 J. Discrete Algorithms 1 http://dx.doi.org/10.1016/j.jda.2005.01.004 db/journals/jda/jda4.html#ZverovichZ06