A system for CSP solving through satisfiability Modulo theories
暂无分享,去创建一个
[1] Luigi Palopoli,et al. NP-SPEC: an executable specification language for solving all problems in NP , 1999, Comput. Lang..
[2] Peter J. Stuckey,et al. MiniZinc: Towards a Standard CP Modelling Language , 2007, CP.
[3] Cesare Tinelli,et al. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T) , 2006, JACM.
[4] Cesare Tinelli,et al. The SMT-LIB Standard: Version 1.2 , 2005 .
[5] Cesare Tinelli,et al. DPLL( T): Fast Decision Procedures , 2004, CAV.
[6] Albert Oliveras,et al. On SAT Modulo Theories and Optimization Problems , 2006, SAT.
[7] Henry A. Kautz. Deconstructing Planning as Satisfiability , 2006, AAAI.
[8] Dapeng Li,et al. A SAT Based Scheduler for Tournament Schedules , 2004, SAT.
[9] Warwick Harvey,et al. Essence: A constraint language for specifying combinatorial problems , 2007, Constraints.
[10] Karem A. Sakallah,et al. From Propositional Satisfiability to Satisfiability Modulo Theories , 2006, SAT.
[11] Albert Oliveras,et al. Challenges in Satisfiability Modulo Theories , 2007, RTA.
[12] Roberto Sebastiani,et al. Lazy Satisability Modulo Theories , 2007, J. Satisf. Boolean Model. Comput..
[13] Marco Cadoli,et al. Compiling Problem Specifications into SAT , 2001, ESOP.
[14] Ian P. Gent,et al. Minion: A Fast Scalable Constraint Solver , 2006, ECAI.
[15] David L. Dill,et al. Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT , 2002, CAV.
[16] Toni Mancini,et al. SAT as an Effective Solving Technology for Constraint Problems , 2006, ISMIS.
[17] Enrico Giunchiglia,et al. SAT-Based Procedures for Temporal Reasoning , 1999, ECP.