Login / Signup

2021 ICCAD CAD Contest Problem C: GPU Accelerated Logic Rewriting.

Ghasem PasandiSreedhar PrattyDavid BrownYanqing ZhangHaoxing RenBrucek Khailany
Published in: ICCAD (2021)
Keyphrases
  • gpu accelerated
  • finite element
  • real time
  • object oriented
  • logic programming
  • computer aided
  • computer aided design
  • modal logic
  • sequence alignment
  • query rewriting
  • conjunctive queries
  • similarity measure
  • rewrite rules