Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)

Počet záznamů: 1

1.

SYSNO	0480888
Název	Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)
Tvůrce(i)	Savický, Petr (UIVT-O)_{SAI, RID, ORCID} Kučera, P. (CZ)
Zdroj.dok.	Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. S. 5055-5059. - Freiburg : IJCAI, 2017 / Sierra C.
Konference	IJCAI 2017. International Joint Conference on Artificial Intelligence /26./, 19.08.2017 - 25.08.2017, Melbourne
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GBP202/12/G061 GA ČR - Grantová agentura ČR
	GA15-15511S
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	conjunctive normal form * matched formula * pure literal satisfiable formula
URL	https://www.ijcai.org/proceedings/2017/0721.pdf
Trvalý link	http://hdl.handle.net/11104/0276554

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0480888.pdf	1	104.2 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1