C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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