Szerző: " Kusper Gábor"

Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 2.

Konferencia vagy workshop anyag

Kusper Gábor; 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].

A lista elkészítésének dátuma 2025. április 4. 22:17:11 CEST.