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

11/02/2020
by   Ruo Ando, et al.
0

Generally, negation-limited inverters problem is known as a puzzle of constructing an inverter with AND gates and OR gates and a few inverters. In this paper, we introduce a curious new result about the effectiveness of two powerful ATP (Automated Theorem Proving) strategies on tackling negation limited inverter problem. Two resolution strategies are UR (Unit Resulting) resolution and hyper-resolution. In experiment, we come two kinds of automated circuit construction: 3 input/output inverters and 4 input/output BCD Counter Circuit. Both circuits are constructed with a few limited inverters. Curiously, it has been turned out that UR resolution is drastically faster than hyper-resolution in the measurement of the size of SOS (Set of Support). Besides, we discuss the syntactic and semantic criteria which might causes considerable difference of computation cost between UR resolution and hyper-resolution.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

06/23/2021

Learning quantum circuits of some T gates

In this paper, we study the problem of learning quantum circuits of a ce...
05/13/2010

Towards Physarum Binary Adders

Plasmodium of Physarum polycephalum is a single cell visible by unaided ...
07/18/2018

Circuits via topoi

Leveraging topos theory a semantics can be given to sequential circuits ...
03/29/2021

ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification

This article presents a novel algorithmic methodology for performing aut...
01/21/2019

Automatic Synthesis of Totally Self-Checking Circuits

Totally self-checking (TSC) circuits are synthesised with a grid of comp...
03/24/2020

Memcomputing for Accelerated Optimization

In this work, we introduce the concept of an entirely new circuit archit...
01/13/2020

Tabled Typeclass Resolution

Typeclasses provide an elegant and effective way of managing ad-hoc poly...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.