A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem

被引：0
|
作者：
Ando, Ruo [1 ]
Takefuji, Yoshiyasu [2 ]
机构：
[1] National Institute of Informatics, 2-1-2 Hitotsubashi,Tokyo, Nasrudeen city,101-8430, Japan
[2] Faculty of Data Science, Musashino University, 3-3-3 Ariake,Tokyo, Koto-Ku,135-8181, Japan
来源：
IAENG International Journal of Computer Science | 2022年 / 49卷 / 04期
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Automation - Theorem proving
引用
收藏
相关论文
共 6 条
  • [1] Negation-Limited Complexity of Parity and Inverters
    Kazuo Iwama
    Hiroki Morizumi
    Jun Tarui
    Algorithmica, 2009, 54 : 256 - 267
  • [2] Negation-Limited Inverters of Linear Size
    Morizumi, Hiroki
    Suzuki, Genki
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2010, E93D (02) : 257 - 262
  • [3] Negation-limited complexity of parity and inverters
    Iwama, Kazuo
    Morizumi, Hiroki
    Tarui, Jun
    ALGORITHMS AND COMPUTATION, PROCEEDINGS, 2006, 4288 : 223 - +
  • [4] Negation-Limited Inverters of Linear Size
    Morizumi, Hiroki
    Suzuki, Genki
    ALGORITHMS AND COMPUTATION, PROCEEDINGS, 2008, 5369 : 605 - +
  • [5] Negation-Limited Complexity of Parity and Inverters
    Iwama, Kazuo
    Morizumi, Hiroki
    Tarui, Jun
    ALGORITHMICA, 2009, 54 (02) : 256 - 267
  • [6] New Distinguishers for Negation-Limited Weak Pseudorandom Functions
    Chen, Zhihuai
    Guo, Siyao
    Li, Qian
    Lin, Chengyu
    Sun, Xiaoming
    THEORY OF COMPUTING, 2024, 20
1