Login / Signup
An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning.
John Hester
Briland Hitaj
Grant O. Passmore
Sam Owre
Natarajan Shankar
Eric Yeh
Published in:
CICM (2023)
Keyphrases
</>
quantifier elimination
machine learning
database
constraint propagation
first order logic
functional programming
artificial intelligence
cardinality constraints
data mining
high level
natural language
relational databases
search space