Login / Signup
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning.
John Hester
Briland Hitaj
Grant Passmore
Sam Owre
Natarajan Shankar
Eric Yeh
Published in:
CoRR (2023)
Keyphrases
</>
quantifier elimination
variable ordering
machine learning
constraint propagation
branch and bound algorithm
functional programming
artificial intelligence
constraint databases
database
first order logic
reinforcement learning
general purpose
computational complexity
lower bound
max sat