Sign in

CGRA Mapping Using Zero-Suppressed Binary Decision Diagrams.

Rami BeidasJason Helge Anderson
Published in: ASP-DAC (2022)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • variable ordering
  • model checking
  • planning problems
  • knowledge compilation
  • heuristic search
  • expert systems