Program certification with computational effects.

Jean-Guillaume Dumas Dominique Duval Burak Ekici Damien Pous

Published in: CoRR (2014)

Keyphrases

information systems
mathematical programming
databases
third party
decision making
clustering algorithm
decision trees
multi agent
optimal solution