Publications associées à Boolean-valued model

Learning from survey propagation: a neural network for MAX-E-3-SAT

Many natural optimization problems are NP-hard, which implies that they are probably hard to solve exactly in the worst-case. However, it suffices to get reasonably good solutions for all (or even most) instances in practice. This paper presents a new algo ...

IOP PUBLISHING LTD2021

Extending Boolean Methods for Scalable Logic Synthesis

Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Eleonora Testa

In recent years, Boolean methods in logic synthesis have been drawing the attention of EDA researchers due to the continuous push to advance quality of results. Boolean methods require high computational cost, as they rely on complete functional properties ...

2020

SAT-Based Exact Synthesis for Multi-Level Logic Networks

Winston Jason Haaswijk

Today, the design of electronic systems is largely automated. The practice of using software automation technologies for the design of electronic hardware is commonly referred to as Electronic Design Automation (EDA). EDA comprises a large set of tools, fr ...

EPFL2019

Improvements to Boolean resynthesis

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù

In electronic design automation Boolean resynthesis techniques are increasingly used to improve the quality of results where algebraic methods hit local minima Boolean methods rely on complete functional properties of a logic circuit, preferably including ...

IEEE2018

Nonsilicon, Non-von Neumann Computing—Part I

Giovanni De Micheli

Majority-inverter graphs (MIGs) are a logic representation with remarkable algebraic and Boolean properties that enable efficient logic optimizations beyond the capabilities of traditional logic representations. Further, since many nano-emerging technologi ...

IEE2018

Size Optimization of MIGs with an Application to QCA and STMG Technologies

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù, Eleonora Testa, Heinz Riener

Majority-inverter graphs (MIGs) are a logic representation with remarkable algebraic and Boolean properties that enable efficient logic optimizations beyond the capabilities of traditional logic representations. Further, since many nano-emerging technologi ...

ASSOC COMPUTING MACHINERY2018

Majority-Inverter Graph: A New Paradigm for Logic Optimization

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

In this paper, we propose a paradigm shift in representing and optimizing logic by using only majority (MAJ) and inversion (INV) functions as basic operations. We represent logic functions by Majority-Inverter Graph (MIG): a directed acyclic graph c ...

Ieee-Inst Electrical Electronics Engineers Inc2016

An Extended, Boolean Model of the Septation Initiation Network in S-pombe Provides Insights into Its Regulation

Viesturs Simanis, Andrea Krapp, Elena Cano, Anastasia Chasapi, Ioannis Xenarios

Cytokinesis in fission yeast is controlled by the Septation Initiation Network (SIN), a protein kinase signaling network using the spindle pole body as scaffold. In order to describe the qualitative behavior of the system and predict unknown mutant behavio ...

Public Library of Science2015

Redox properties of cobalt(II) complexes with azole-pyridines

Michael Graetzel, Mohammad Khaja Nazeeruddin

We report nine new homoleptic octahedral cobalt(II) complexes Co((NN)-N-boolean AND)(3) and Co((NNN)-N-boolean AND-N-boolean AND)(2) with bidentate or tridentate azole-pyridine ligands (where azole is 1,2,4-triazole or a substituted pyrazole). ...

Elsevier2013

Steric hindrance at metal centre quenches green phosphorescence of cationic iridium(III) complexes with 1-(2-pyridyl)-pyrazoles

Michael Graetzel, Mohammad Khaja Nazeeruddin, Rosario Scopelliti

Cationic cyclometalated iridium(III) complexes (N,C-2'-2-phenylpyridyl)(2)Ir((NN)-N-boolean AND) with alkyl-substituted 1-(2'-pyridyl)-pyrazole (NN)-N-boolean AND ligands exhibit green phosphorescence from a cyclometalating-ligand-centered excited s ...

Elsevier2013