Sign in

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

Guolong ZhengHamid BagheriGregg RothermelJianghao 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