Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function.

Mateus de Oliveira Oliveira

Published in: STACS (2016)

Keyphrases

space complexity
search space
boolean functions
upper bound
bounded treewidth
tree decompositions
high speed
knowledge base
real time
neural network
genetic algorithm
computational complexity
memory requirements
design decisions
circuit design