Abstract: In this paper, through combining the advantages of genetic algorithm and tabu search algorithm, a new algorithm called genetic tabu search (GTS) to obtain even-variable Boolean functions ...

Abstract: Boolean matching is an important problem in logic synthesis and verification. Despite being well-studied for conventional Boolean circuits, its treatment for reversible logic circuits ...