摘要
关键词
其他人正在查看的类似内容
工具书类
Abío,I.,Nieuwenhuis,R.,Oliveras,A.,Carbonell,E.R.:基数约束的更小更好编码的参数方法。 In:CP(2013) Becker,K.,Schätz,B.,Armbruster,M.,Buckl,C.:容错系统基于约束的部署计算和分析的形式化模型。 在:SEFM,第205–219页(2014) 比约纳,N.,芬,A.-D.: ν Z-对Z3的最大满意度。 In:SCSS(2014) Chai,D.,Kuehlmann,A.:快速伪布尔约束求解器。 IEEE传输。 集成电路和系统CAD 24(3),305-317(2005) Cimatti,A.,Franzén,A.,Griggio,A.,Sebastiani,R.,Stenico,C.:成本理论的可满足性模:基础与应用。 In:TACAS(2010) Davies,J.,Bacchus,F.:推迟优化以加快MAXSAT解算。 收录于:CP,第247-262页(2013年) de Moura,L.M.,Björner,N.:Z3:高效SMT求解器。 在:TACAS(2008) Larraz,D.,Nimkar,K.,Oliveras,A.,Rodríguez-Carbonell,E.,Rubio,A.:使用Max-SMT证明不终止。 收录于:CAV,第779–796页(2014年) Li,Y.,Albarghouthi,A.,Kincaid,Z.,Gurfinkel,A.,Chechik,M.:SMT求解器的符号优化。 收录于:POPL,第607-618页(2014年) Morgado,A.,Heras,F.,Marques-Silva,J.:MaxSAT核心引导二进制搜索的改进。 摘自:SAT,第284–297页(2012年) Narodytska,N.,Bacchus,F.:使用核心引导MaxSAT分辨率的最大可满足性。 收录于:AAAI,第2717–2723页(2014年) Nieuwenhuis,R.,Oliveras,A.:关于SAT模理论和优化问题。 摘自:SAT,第156-169页(2006年) Ranise,S.,Tinelli,C.:SMT图书馆,SMT-LIB(2006), http://www.SMT-LIB.org Rayside,D.,Estler,H.-C.,Jackson,D.:引导改进算法。 技术报告MIT-CSAIL-TR-2009-033。 麻省理工学院(2009) Sebastiani,R.,Tomasi,S.:SMT优化 \(\mathcal{{LA}}({\bf{Q}})\) 成本功能。 收录于:IJCAR,第484–498页(2012年)
作者信息
作者和附属机构
通讯作者
编辑器信息
编辑和附属机构
权利和权限
版权信息
关于本论文
引用本文
下载引文
内政部 以下为: https://doi.org/10.1007/978-3-662-46681-0_14 发布者名称 以下为: 施普林格、柏林、海德堡 打印ISBN 以下为: 978-3-662-46680-3 在线ISBN 以下为: 978-3-662-46681-0