Login / Signup

Abstract conflict driven learning.

Vijay Victor D'SilvaLeopold HallerDaniel Kroening
Published in: POPL (2013)
Keyphrases
  • driven learning
  • semi supervised learning
  • word alignment
  • small number
  • graphical models