Motivation Scientists increasingly rely on intelligent information systems to help them in their
daily tasks, in particular for managing research objects, like publications or datasets. The …

Reasoning in Boolean Networks provides a detailed treatment of recent research advances
in algorithmic techniques for logic synthesis, test generation and formal verification of digital …

The paper presents a flexible and efficient approach to evaluating implications as well as
deriving indirect implications in logic circuits. Evaluation and derivation of implications are …

Presents a very efficient optimization method suitable for multi-level combinational circuits.
The optimization is based on incremental restructuring of a circuit through a sequence of …

This paper presents a very efficient Boolean logic optimization method. The boolean
optimization is achieved by adding and removing redundant wires in a circuit. Our algorithm …

In this paper we present new methods for fast justification and propagation in the implication
graph (IG) which is the core data structure of our SAT based implication engine. As the IG …

In this paper, we present a new approach that performs timing driven placement for standard
cell circuits in interaction with netlist transformations. As netlist transformations are …

Implication, justification, and propagation are three important Boolean problems that have to
be solved during many tasks in electronic design automation (EDA) for digital circuits. As …

Due to the increasing demand for low power circuits, low power dissipation has emerged as
an important optimization goal in logic synthesis. In this paper, we show that the power …

This paper presents an innovative two-phase approach which combines technology
map** with logic resynthesis for minimizing the post-placement delays. The main idea is …