×

CLSAT公司

swMATH ID: 8416
软件作者: Duckki Oe;安德鲁·雷诺兹;亚伦·斯塔姆
说明: clsat=SMT-LIB格式解析器+CNF转换器+SAT求解器+QF_IDL求解器
主页: http://homepage.cs.uiowa.edu/~astump/talks/clsat.pdf
相关软件: z3(零3);SMT-LIB公司;伊莎贝尔/霍尔;验证;CVC4型;DRAT-饰件;Coq公司;cvc3型;超小卫星;大锤;SMT互联网;数学SAT5;毫升;cvc5公司;CertiStr证书;SMTCoq公司;精益;帕拉库巴;基萨特;钙DiCaL
引用于: 7文件

按年份列出的引文