CCL

Összesen 2 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM086349
Első szerző:Biró Csaba
Cím:How to Generate Weakly Nondecisive SAT Instances / Csaba Biró, Gábor Kusper, Tibor Tajti
Dátum:2013
ISBN:978-1-4799-0305-4
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
könyvrészlet
SAT problem generator
nondecisive clause
blocked clause
Megjelenés:IEEE 11th International Symposium on Intelligent Systems and Informatics Proceedings. - p. 265-269. -
További szerzők:Kusper Gábor (1976-) (informatikus) Tajti Tibor Gábor (1970-) (informatikus)
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM104488
035-os BibID:(WOS)000757996300004 (Scopus)85128959563
Első szerző:Kusper Gábor (informatikus)
Cím:Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae / Gábor Kusper, Csaba Biró, Attila Adamkó, Imre Baják
Dátum:2021
ISSN:1787-5021 1787-6117
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban
folyóiratcikk
SAT
Horn
q-Horn
z-Horn
w-Horn
Megjelenés:Annales Mathematicae et Informaticae. - Accepted manuscript (2021), p. 33-43. -
További szerzők:Biró Csaba Adamkó Attila (1978-) (informatikus) Baják Imre (gazdaságtudomány)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1