A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.

Katherine Kosaian Yong Kiam Tan André Platzer

Published in: CoRR (2022)

Keyphrases

computational complexity
databases
machine learning
optimal solution
np hard
knowledge base
database systems
data model
query language