Author:
Publication: Artificial Intelligence
SATenstein: Automatically building local search SAT solvers from components
Topic-based term translation models for statistical machine translation