Minimum Satisfying Assignments for SMT.

Isil Dillig Thomas Dillig Kenneth L. McMillan Alex Aiken

Published in: CAV (2012)

Keyphrases

evolutionary algorithm
artificial intelligence
information systems
feature selection
special case
spanning tree
statistical machine translation