Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic.

Guolong Zheng Hamid Bagheri Gregg Rothermel Jianghao Wang

Published in: FASE (2020)

Keyphrases

data analysis
decision trees
optimal solution
relational databases
logic programming
quantitative analysis
data mining
search engine
information systems
search algorithm
data model
logic programs