Keyphrases
- modulo theories
- statistical machine translation
- parallel processing
- answer set programming
- satisfiability modulo theories
- simplex algorithm
- sat solvers
- linear programming
- quantified boolean formulas
- machine learning
- simplex method
- distributed memory machines
- eigenvalue problems
- star shaped
- numerically stable
- stable model semantics
- word alignment
- information retrieval
- data sets
- linear constraints
- knowledge representation
- lower bound
- optimal solution