共 50 条
- [1] SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 171 - 185
- [2] SAT Modulo Monotonic Theories [J]. PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 3702 - 3709
- [3] SAT Modulo Intuitionistic Implications [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 622 - 637
- [4] An Experiment with Satisfiability Modulo SAT [J]. JOURNAL OF AUTOMATED REASONING, 2016, 56 (02) : 143 - 154
- [5] An Experiment with Satisfiability Modulo SAT [J]. Journal of Automated Reasoning, 2016, 56 : 143 - 154
- [6] SAT Modulo Graphs: Acyclicity [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 137 - 151
- [7] Decision procedures for SAT, SAT modulo theories and beyond. The BarcelogicTools [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 23 - 46
- [8] SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING-CP 2010, 2010, 6308 : 1 - 2
- [9] Splitting on demand in SAT modulo theories [J]. Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, 2006, 4246 : 512 - 526
- [10] SAT Modulo Differential Equation Simulations [J]. TESTS AND PROOFS (TAP 2020), 2020, 12165 : 80 - 99