Sign in

Minimum Satisfying Assignments for SMT.

Isil DilligThomas DilligKenneth L. McMillanAlex Aiken
Published in: CAV (2012)
Keyphrases
  • evolutionary algorithm
  • artificial intelligence
  • information systems
  • feature selection
  • special case
  • spanning tree
  • statistical machine translation