Logic synthesis of assertions for saftey-critical applications.

Matthias Wenzl Christian Fibich Peter Rössler Herbert Taucher Martin Matschnig

Published in: ICIT (2015)

Keyphrases

logic synthesis
heuristic search
multi valued
machine learning
logic circuits
quantum computing
database
knowledge base
image processing
real time
knowledge acquisition