Magyar
Toggle navigation
Tudóstér
Magyar
Tudóstér
Keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Böngészés
Saját polc tartalma
(
0
)
Korábbi keresések
CCL parancs
CCL
Összesen 2 találat.
#/oldal:
12
36
60
120
Rövid
Hosszú
MARC
Részletezés:
Rendezés:
Szerző növekvő
Szerző csökkenő
Cím növekvő
Cím csökkenő
Dátum növekvő
Dátum csökkenő
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ó:
Saját polcon:
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ó:
Saját polcon:
Rekordok letöltése
1
Corvina könyvtári katalógus v8.2.27
© 2023
Monguz kft.
Minden jog fenntartva.