Keyphrases
- theorem prover
- linear program
- grammatical inference
- primal dual
- support vector
- search space
- linear programming
- objective function
- visual languages
- special case
- natural language processing
- affine scaling
- simplex algorithm
- binary data
- hamming distance
- theorem proving
- natural language
- first order logic
- higher order
- least squares
- feature selection