Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers.

Published in: ESSLLI (1997)

Keyphrases

solving problems
problems involving
combinatorial optimization
solving complex
computational model
natural language
algebraic equations
combinatorial optimisation
sparse linear systems
neural network
machine learning
optimal solution
propositional logic
eigenvalue problems
convex quadratic programming