A Lower Bound on CNF Encodings of the At-most-one Constraint

Počet záznamů: 1

1.

SYSNO	0494392
Název	A Lower Bound on CNF Encodings of the At-most-one Constraint
Tvůrce(i)	Kučera, P. (CZ) Savický, Petr (UIVT-O)_{SAI, RID, ORCID} Vorel, V. (CZ)
Korespondující/senior	Kučera, P. - Korespondující autor Savický, Petr - Korespondující autor Vorel, V. - Korespondující autor
Zdroj.dok.	Theoretical Computer Science. Roč. 762, March (2019), s. 51-73. - : Elsevier
Druh dok.	Článek v odborném periodiku
Grant	GA15-15511S, CZ - Česká republika
	GBP202/12/G061 GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding
URL	http://dx.doi.org/10.1016/j.tcs.2018.09.003
Trvalý link	http://hdl.handle.net/11104/0287600

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0494392.pdf	9	607.1 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1