Bi-abductive Resource Invariant Synthesis.

Cristiano Calcagno Dino Distefano Viktor Vafeiadis

Published in: APLAS (2009)

Keyphrases

business intelligence
affine transformation
affine invariant
logic programming
abductive reasoning
program synthesis
resource allocation
resource management
database
resource constraints
probabilistic model
information resources
allocation scheme