An Abstract Domain of Uninterpreted Functions.

Graeme Gange Jorge A. Navas Peter Schachte Harald Søndergaard Peter J. Stuckey

Published in: VMCAI (2016)

Keyphrases

higher level
domain independent
domain specific
machine learning
image processing
high level
domain experts
basis functions
cross domain