Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors.
Ajith K. JohnSupratik ChakrabortyPublished in: TACAS (2013)
Keyphrases
- linear inequalities
- quantifier elimination
- bit vectors
- linear programming
- constraint propagation
- integer linear programming
- functional programming
- bit vector
- linear program
- constraint databases
- cardinality constraints
- first order logic
- convex hull
- locality sensitive hashing
- real numbers
- hash table
- column generation
- similarity search
- multi dimensional
- machine learning
- data analysis