Sign in

A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams.

Christoph MeinelAnna Slobodová
Published in: Theory Comput. Syst. (1997)
Keyphrases
  • np complete
  • ordered binary decision diagrams
  • genetic algorithm
  • benchmark problems
  • practical problems
  • reasoning tasks