On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions.

Kazuhisa Hosaka Yasuhiko Takenaga Shuzo Yajima

Published in: ISAAC (1994)

Keyphrases

threshold functions
ordered binary decision diagrams
boolean functions
linear threshold
decision lists
computational complexity
constraint satisfaction problems
search space
simulated annealing
deterministic finite automaton