the problem of series two-block disjoint decomposition of completely specifiedboolean functions is considered. analysis and investigation of such systems are veryimportant in logical design context. recently, a good method for solving thisproblem was suggested which has been based on the ternary matrix cover approach.using this method a computer program was developed. this paper is focused onde...

This paper introduces the implementation of the Iterative Symmetry Indices Decomposition (ISID) for the synthesis of ternary threedimensional logic circuits. The synthesis of regular two-dimensional circuits using ISID has been introduced previously, and the synthesis of areaspecific circuits using ISID has been demonstrated. The new method is useful for the synthesis of functions using three-d...

> This paper presents an overview and a survey of logic program synthesis. Logic program synthesis is interpreted here in a broad way; it is concerned with the following question: given a speciication, how do we get a logic program satisfying the speciication? Logic programming provides a uniquely nice and uniform framework for program synthesis since the speciication, the synthesis process and...

In recent years, soft computing methods have generated a large research interest. The synthesis of the fuzzy logic and the evolutionary algorithms is one of these methods. A particular evolutionary algorithm (EA) is differential evolution (DE). As for any EA, DE algorithm also requires parameters tuning to achieve desirable performance. In this paper tuning the perturbation factor vector of DE ...