Local deterministic string-to-string transductions arise in natural language processing ... Key words: Boolean satisfiability, combinatorial optimization, formal ..... In other words, in practice one is often interested in finding the 'best' hypothesis,.