Natural Domain SMT: A Preliminary Assessment
暂无分享,去创建一个
[1] Toby Walsh,et al. Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.
[2] Larry Wos,et al. What Is Automated Reasoning? , 1987, J. Autom. Reason..
[3] Sharad Malik,et al. Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.
[4] Kenneth L. McMillan,et al. Generalizing DPLL to Richer Logics , 2009, CAV.
[5] Mark Wallace,et al. Constraint Logic Programming , 1992, Handbook of Constraint Programming.
[6] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[7] Cesare Tinelli,et al. DPLL( T): Fast Decision Procedures , 2004, CAV.
[8] Nestan Tsiskaridze,et al. Conflict Resolution , 2009, CP.
[9] Frédéric Benhamou,et al. Continuous and Interval Constraints , 2006, Handbook of Constraint Programming.
[10] Chao Wang,et al. Predicate learning and selective theory deduction for a difference logic solver , 2006, 2006 43rd ACM/IEEE Design Automation Conference.
[11] Nikolaj Bjørner,et al. Engineering DPLL(T) + Saturation , 2008, IJCAR.