Short-circuit Analysis using a Parallel QBF Solver.

Rafael Santos João Afonso José Monteiro

Published in: DCIS (2020)

Keyphrases

neural network
genetic algorithm
evolutionary algorithm
quantified boolean formulas
artificial intelligence
image processing
signal processing
short circuit