Satisfiability Modulo Free Data Structures Combined with Bridging Functions.

Raphaël Berthon Christophe Ringeissen

Published in: SMT@IJCAR (2016)

Keyphrases

data structure
satisfiability problem
database
real time
data mining
computational complexity
query processing
domain specific
basis functions
phase transition
inverted index