A New Translation from ECTL* to SAT.

Andrzej Zbrzezny

Published in: Fundam. Informaticae (2012)

Keyphrases

sat solvers
satisfiability problem
machine translation
information retrieval
orders of magnitude
phase transition
sat instances
statistical machine translation
boolean satisfiability
variable ordering
search algorithm
search space
target language
max sat
machine translation system
propositional satisfiability