Počet záznamů: 1

Bounds on the Size of PC and URC Formulas

SYSNO	0536433
Název	Bounds on the Size of PC and URC Formulas
Tvůrce(i)	Kučera, P. (CZ) Savický, Petr (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	Journal of Artificial Intelligence Research. Roč. 69, 24 December (2020), s. 1395-1420. - : AAAI Press
Druh dok.	Článek v odborném periodiku
Grant	GA19-19463S GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	automated reasoning * knowledge representation * satisfiability
URL	http://hdl.handle.net/11104/0314210
Trvalý link	http://hdl.handle.net/11104/0314210

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0536433-afin.pdf	2	294.1 KB	OA casopis	Vydavatelský postprint	povolen

Počet záznamů: 1