@第{zbMATH07269311条，作者={Chrom{\'y}，Milo{\v{s}}和{\v}C}epek，Ond{\v[r}}ej}，标题={布尔}函数}的开关列表表示的属性，FJournal={人工智能研究杂志（JAIR）}，期刊={J.Artif.Intell.Res.（JAIR）}，ISSN={1076-9757}，体积={69}，页码={501--529}，年份={2020年}，语言={英语}，DOI={10.1613/jair.1.12199}，关键词={68T30,06E30,68P05}，zbMATH＝{7269311}，Zbl={1490.68216}}