Kusper Gábor: Investigation of binary representations of SAT especially 2-literal representation : [abstract].