Login / Signup

Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible.

Marius KampMichael Philippsen
Published in: VMCAI (2021)
Keyphrases
  • program synthesis
  • dependency analysis
  • databases
  • machine learning
  • metadata
  • data sources
  • data points