Logic synthesis is an enabling technology to realize integrated computing systems, and it
entails solving computationally intractable problems through a plurality of heuristic …

Most logic synthesis algorithms work on graph representations of logic functions with nodes
associated with arbitrary logic expressions or simple logic functions and iteratively optimize …

Majority-inverter graphs (MIGs) are a logic representation with remarkable algebraic and
Boolean properties that enable efficient logic optimizations beyond the capabilities of …

As Moore's law is coming to an end, research on technologies alternative to the
complementary metal-oxide semiconductor (CMOS) has been extensively pursued over the …

The future of computing is at crossroads. The technological advances that have sustained
the exponential growth of computing performance over the last several decades are slowing …

We give a self-contained account of the basic theory of median algebras. We explore
notions of betweenness, convexity, walls, duality etc. In this context we include discussion of …

The majority function evaluates to true, if at least two of its Boolean inputs evaluate to true.
The majority function has frequently been studied as a central primitive in logic synthesis …

Quantum cellular automata (QCA) enables performing arithmetic and logic operations at the
molecular scale. This nanotechnology promises high device density, low power …

To support efficient design automation for emerging computing fabrics, novel data structures
for logic synthesis and technology mapping are being intensively studied. It has been shown …

Due to the physical restriction of current CMOS technology, the study of majority based
nanotechnologies has been progressing steadily. In this paper, we present a new exact …