CCL

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

1.

001-es BibID:BIBFORM012764
Első szerző:Bérczes Tamás (informatikus)
Cím:Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems / Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Dátum:2010
ISSN:1787-5021 1787-6117
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:Annales Mathematicae et Informaticae. - 2010 : 37 (2010), p. 51-75. -
További szerzők:Guta Gábor (1980-) (informatikus) Kusper Gábor (1976-) (informatikus) Schreiner, Wolfgang Sztrik János (1953-) (informatikus, matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:

2.

001-es BibID:BIBFORM116541
035-os BibID:(WoS)001104140800010 (Scopus)85176758065
Első szerző:Kusper Gábor (informatikus)
Cím:Using extended resolution to represent strongly connected components of directed graphs / Gábor Kusper, Zijian Győző Yang, Benedek Nagy
Dátum:2023
ISSN:1787-5021 1787-6117
Megjegyzések:In this paper, we study how to represent a directed graph as a SAT problem. We study those directed graphs which consists of two strongly connected components (SCC). We reuse the SAT models which are known as the Black-and-White SAT representations. We present the so-called 3rd Solution Lemma: If a directed graph consists of two SCCs, A and B, and there is an edge from A to B, then the corresponding SAT representation has 3 solutions: the black assignment, the white assignment, and the 3rd solution can be written as not sign A union B. Using this result, we present an important negative result: We cannot represent all SAT problems as directed graphs using the Black-and-White SAT representations. Furthermore, we study the question how to represent an SCC by one Boolean variable to maintain the 3rd Solution Lemma. For that we use extended resolution.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban
folyóiratcikk
boolean logic
directed graphs
SAT problem
Megjelenés:Annales Mathematicae et Informaticae. - 58 (2023), p. 92-109. -
További szerzők:Zijian Győző Yang Nagy Benedek (1973-) (informatikus, matematikus)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

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