Investigation of binary representations of SAT especially 2-literal representation [abstract] - Kusper Gábor (Szeged, 2002)