Procedure for satisfiability problems based on the partial instantiation technique

被引：0
|
作者：
Yamamoto, Masahito [1 ]
Ohuchi, Azuma [1 ]
Ohyanagi, Toshio [1 ]
机构：
[1] Hokkaido Univ, Sapporo, Japan
来源：
Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi) | 1995年 / 78卷 / 09期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：94 / 103
相关论文
共 50 条
  • [1] A procedure for satisfiability problems based on the partial instantiation technique
    Yamamoto, M
    Ohuchi, A
    Ohyanagi, T
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1995, 78 (09): : 94 - 103
  • [2] Procedure for solving satisfiability problem based on the partial instantiation technique in the first-order logic
    Yamamoto, M.
    Ohyanagi, T.
    Ohuchi, A.
    Bulletin of the Faculty of Engineering - Hokkaido University, 1993, (165):
  • [3] Theorem proving based on the partial instantiation technique
    Yamamoto, M
    Ohuchi, A
    Ohyanagi, T
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1996, 79 (04): : 110 - 118
  • [4] A reduction method for theorem proving based on the partial-instantiation technique
    Yamamoto, M
    Ohuchi, A
    DECISION SUPPORT SYSTEMS, 1998, 23 (02) : 189 - 199
  • [5] An Instantiation Scheme for Satisfiability Modulo Theories
    Echenim, Mnacho
    Peltier, Nicolas
    JOURNAL OF AUTOMATED REASONING, 2012, 48 (03) : 293 - 362
  • [6] An Instantiation Scheme for Satisfiability Modulo Theories
    Mnacho Echenim
    Nicolas Peltier
    Journal of Automated Reasoning, 2012, 48 : 293 - 362
  • [7] Partial satisfiability-based merging
    Pozos Parra, Pilar
    Borja Macias, Veronica
    MICAI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2007, 4827 : 225 - 235
  • [8] Instantiation is not partial identity
    Mantegani, Nicholas
    PHILOSOPHICAL STUDIES, 2013, 163 (03) : 697 - 715
  • [9] Instantiation as Partial Identity
    Alvarado Marambio, Jose Tomas
    ORGANON F, 2012, 19 (04) : 459 - 487
  • [10] Instantiation is not partial identity
    Nicholas Mantegani
    Philosophical Studies, 2013, 163 : 697 - 715
12345