Concept

Boolean-valued model

Related publications (15)

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

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

Near-UV to red-emitting charged bis-cyclometallated iridium(III) complexes for light-emitting electrochemical cells

Michael Graetzel, Mohammad Khaja Nazeeruddin, Rosario Scopelliti, Davide Di Censo

Herein we report a series of charged iridium complexes emitting from near-UV to red using carbene-based (NC)-C-boolean AND: ancillary ligands. Synthesis, photophysical and electrochemical properties of this series are described in detail together with X-ra ...

Royal Society of Chemistry2012

Overlap properties of geometric expanders

The overlap number of a finite (d + 1)-uniform hypergraph H is the largest constant c(H) is an element of (0, 1] such that no matter how we map the vertices of H into R-d, there is a point covered by at least a c(H)-fraction of the simplices induced by the ...

De Gruyter2011

Modeling stochasticity and robustness in gene regulatory networks

Giovanni De Micheli, Abhishek Garg, Ioannis Xenarios

Motivation: Understanding gene regulation in biological processes and modeling the robustness of underlying regulatory networks is an important problem that is currently being addressed by computational systems biologists. Lately, there has been a renewed ...

2009

Synchronous versus asynchronous modeling of gene regulatory networks

Giovanni De Micheli, Abhishek Garg, Ioannis Xenarios

In silico modeling of gene regulatory networks has gained some momentum recently due to increased interest in analyzing the dynamics of biological systems. This has been further facilitated by the increasing availability of experimental data on gene–gene, ...

2008

Impact of geometrical properties on permeability and fluid phase distribution in porous media

To predict fluid phase distribution in porous media, the effect of geometric properties on flow processes must be understood. In this study, we analyze the effect of volume, surface, curvature and connectivity (the four Minkowski functionals) on the hydrau ...

2008