Lukas Kroc Michael Chertkov Loop Calculus for Satisfiability. 1810-1811 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#KrocC08