Timed Soft Concurrent Constraint Programs.

Stefano Bistarelli Maurizio Gabbrielli Maria Chiara Meo Francesco Santini

Published in: COORDINATION (2008)

Keyphrases

hard constraints
petri net
concurrent programs
finite state machines
soft constraints
computer programs
cost function
genetic algorithm
artificial intelligence
website
global constraints
fixpoint
automatic programming
timed automata