Login / Signup
Logic Optimization of Majority-Inverter Graphs.
Heinz Riener
Eleonora Testa
Winston Haaswijk
Alan Mishchenko
Luca G. Amarù
Giovanni De Micheli
Mathias Soeken
Published in:
MBMV (2019)
Keyphrases
</>
global optimization
neural network
optimization problems
optimization algorithm
modal logic
graph theory
optimization process
graph structures
logic programming
constrained optimization
graph model
undirected graph
optimization model