We present new algorithms to synthesize exact universal reversible gate library for various types of gates and costs. We use the powerful algebraic software GAP for implementation and examination of our algorithms and the reversible logic synthesis problems have been reduced to group theory problems. It is shown that minimization of arbitrary cost functions of gates and orders of magnitude are ...

The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging subfield both of ILP (Inductive Logic Programming) and of the synthesis (in general) of logic programs from formal specifications. We first overview past and present achievements, focusing on the techniques that were designed specifically for the inductive synthesis o...

Approximate computing represents a modern design paradigm that allows systems to have imprecise or inexact execution, aiming optimize circuit area, performance, and power dissipation. The automatic construction of approximate integrated circuits (IC) is performed through computer-aided (CAD) tools available in electronic automation (EDA) frameworks. logic synthesis (ALS), particular, treats two...

The aim of this paper is creating some ternary elements. threshold element logic on bipolar transistors and elements systems based it are considered. main disadvantages approach identified. multi-threshold multivalued its specific four-threshold implementation scientific nowelty the using a multithreshold as basis for constructing systems. It shown that advantages multi-valued larger number thr...