SAT Modulo Intuitionistic Implications

被引：0
|
作者：
Claessen, Koen [1 ]
Rosen, Dan [1 ]
机构：
[1] Chalmers, S-41296 Gothenburg, Sweden
来源：
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015) | 2015年 / 9450卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a new method for solving problems in intuitionistic propositional logic, which involves the use of an incremental SAT-solver. The method scales to very large problems, and fits well into an SMT-based framework for interaction with other theories.
引用
收藏
页码：622 / 637
页数：16
相关论文
共 50 条
  • [1] Speculative SAT Modulo SAT
    Govind, V. K. Hari
    Garcia-Contreras, Isabel
    Shoham, Sharon
    Gurfinkel, Arie
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2024, 2024, 14570 : 43 - 60
  • [2] SAT Modulo Monotonic Theories
    Bayless, Sam
    Bayless, Noah
    Hoos, Holger H.
    Hu, Alan J.
    [J]. PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 3702 - 3709
  • [3] An Experiment with Satisfiability Modulo SAT
    Zhang, Hantao
    [J]. JOURNAL OF AUTOMATED REASONING, 2016, 56 (02) : 143 - 154
  • [4] An Experiment with Satisfiability Modulo SAT
    Hantao Zhang
    [J]. Journal of Automated Reasoning, 2016, 56 : 143 - 154
  • [5] SAT Modulo Graphs: Acyclicity
    Gebser, Martin
    Janhunen, Tomi
    Rintanen, Jussi
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 137 - 151
  • [6] SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
    Eggers, Andreas
    Fraenzle, Martin
    Herde, Christian
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 171 - 185
  • [7] Splitting on demand in SAT modulo theories
    Barrett, Clark
    Nieuwenhuis, Robert
    Oliveras, Albert
    Tinelli, Cesare
    [J]. Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, 2006, 4246 : 512 - 526
  • [8] SAT Modulo Differential Equation Simulations
    Kolarik, Tomas
    Ratschan, Stefan
    [J]. TESTS AND PROOFS (TAP 2020), 2020, 12165 : 80 - 99
  • [9] On SAT modulo theories and optimization problems
    Nieuwenhuis, Robert
    Oliveras, Albert
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, 2006, 4121 : 156 - 169
  • [10] Decision procedures for SAT, SAT modulo theories and beyond. The BarcelogicTools
    Nieuwenhuis, R
    Oliveras, A
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 23 - 46
12345