Number of the records: 1

Bounds on the Size of PC and URC Formulas

SYSNO	0536433
Title	Bounds on the Size of PC and URC Formulas
Author(s)	Kučera, P. (CZ) Savický, Petr (UIVT-O)_{SAI, RID, ORCID}
Source Title	Journal of Artificial Intelligence Research. Roč. 69, 24 December (2020), s. 1395-1420. - : AAAI Press
Document Type	Článek v odborném periodiku
Grant	GA19-19463S GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
Institutional support	UIVT-O - RVO:67985807
Language	eng
Country	US
Keywords	automated reasoning * knowledge representation * satisfiability
URL	http://hdl.handle.net/11104/0314210
Permanent Link	http://hdl.handle.net/11104/0314210

	File	Download	Size	Commentary	Version	Access
	0536433-afin.pdf	2	294.1 KB	OA casopis	Publisher’s postprint	open-access

Number of the records: 1