Tudományterület szerző szerint "Biere, Armin"

Vissza
Export [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Válasszon: Folyóiratcikk
Találatok száma: 1.

Folyóiratcikk

Biró, Csaba, Kovásznai, Gergely, Biere, Armin, Kusper, Gábor, Geda, Gábor (2013) Cube-and-Conquer approach for SAT solving on grids Annales Mathematicae et Informaticae. 42. pp. 9-21. ISSN 1787-5021 (Print), 1787-6117 (Online)

A lista elkészítésének dátuma Wed Oct 20 21:41:24 2021 CEST.