Logic Synthesis for Multi-Core Counter-Based Control Units: Structural Decomposition in Logic Design

The Logic of Chemical Synthesis

Datalog and Logic Databases (Synthesis Lectures on Data Management)

Reversible Logic Synthesis: From Fundamentals to Quantum Computing

Logic-Based Benders Decomposition: Theory and Applications (Synthesis Lectures on Operations Research and Applications)