Login / Signup
Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis.
Yasmin Sarita
Avaljot Singh
Shaurya Gomber
Gagandeep Singh
Mahesh Vishwanathan
Published in:
CoRR (2024)
Keyphrases
</>
ranking functions
termination analysis
active rules
active databases
abstract interpretation
learning to rank
document retrieval
web search engines
web search
ranking algorithm
supervised learning
ranking svm
search engine
integrity constraints
ranking scheme
business rules
object oriented
relational databases