@在集合{zbMATH06101162中，作者={Barenboim，Leonid}，标题={关于某些{NP}-完成问题}，BookTitle={自动化、语言和编程。第39届国际学术讨论会，2012年ICALP，英国考文垂，2012年7月9日至13日。诉讼程序，第二部分}，国际标准图书编号={978-3-642-31584-8}，页码={403--415}，年份={2012}，出版商＝{柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-31585-5_37}，关键词={68Q17,05C15,05C85,68Q10,68R10,68W15,68W20}，zbMATH={6101162}，Zbl={1369.68215}}