@收款{zbMATH06386613，作者={Soh、Takehide和Le Berre、Daniel和Roussel、St{'e}phanie和Banbara、Mutsunori和Tamura、Naoyuki}，标题={增量基于{SAT}{哈密顿}圈问题}的自然{布尔}基数处理方法，BookTitle={人工智能中的逻辑。第14届欧洲会议，JELIA 2014，Funchal，Madeira，葡萄牙，2014年9月24-26日。诉讼}，国际标准图书编号={978-3-319-11557-3}，页码={684--693}，年份={2014}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-319-11558-0_52}，关键词={68T20,05C38,68R07,68R10}，zbMATH={6386613}，Zbl={1432.68420}}