A Critique of a Polynomial-time SAT Solver Devised by Sergey Gubin - Ian Christopher; Dennis Huo; Bryan Jacobs (CoRR, 2008)

A component model of spatial locality. - Xiaoming Gu; Ian Christopher; Tongxin Bai; Chengliang Zhang; Chen Ding 001 (ISMM, 2009)