@收款{zbMATH05218865，作者={Miltersen、Peter Bro和Radhakrishnan、Jaikumar和Wegener、Ingo}，标题＝{在将{CNF}转换为{DNF}时}，BookTitle={2003年计算机科学数学基础。2003年8月25-29日，斯洛伐克布拉迪斯拉发，第28届国际研讨会，MFCS 2003。诉讼}，国际标准图书编号={3-540-40671-9}，页码={612--621}，年份={2003}，出版商={柏林：施普林格}，语言={英语}，DOI＝{10.1007/b11836}，关键词={06E30,94C10}，zbMATH={5218865}，Zbl={1124.06302}}