Items where Author is " Kusper Gábor"

Conference or Workshop Item

Kusper Gábor and Kusper Krisztián: Effective implementation of hyper-unit propagation on FPGA and PC : [abstract].

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