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

by   Ruo Ando, et al.

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.



There are no comments yet.


page 1

page 2

page 3

page 4


Learning quantum circuits of some T gates

In this paper, we study the problem of learning quantum circuits of a ce...

Towards Physarum Binary Adders

Plasmodium of Physarum polycephalum is a single cell visible by unaided ...

Circuits via topoi

Leveraging topos theory a semantics can be given to sequential circuits ...

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...

Automatic Synthesis of Totally Self-Checking Circuits

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

Memcomputing for Accelerated Optimization

In this work, we introduce the concept of an entirely new circuit archit...

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.