@收款{zbMATH06623519，作者={Inala、Jeevana Priya和Singh、Rohit和Solar-Lezama、Armando}，Title={位向量解算器专用域{CNF}编码器的合成}，BookTitle={可满足性测试的理论和应用--SAT 2016。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼}，国际标准图书编号={978-3-319-40969-6；978-3-3169-40970-2}，Pages＝{302-320}，年份={2016年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-40970-2_19}，关键词={68V15}，URL={hdl.handle.net/1721.1/106008}，zbMATH={6623519}，Zbl={1475.68439}}