Login / Signup

Better Predicates and Heuristics for Improved Commutativity Synthesis.

Adam ChenParisa FathololumiMihai NicolaJared PincusTegan BrennanEric Koskinen
Published in: ATVA (2023)
Keyphrases
  • data sets
  • real world
  • case study
  • reinforcement learning
  • special case
  • heuristic search
  • search strategies
  • datalog programs