We encode the simulation problem into a membership/inclusion problem over sets. This allows us to exploit the notion of rank and to use constraint solving procedures to incrementally compute the maximum simulation.
Simulation Reduction as Constraint
GENTILINI, Raffaella;
2002
Abstract
We encode the simulation problem into a membership/inclusion problem over sets. This allows us to exploit the notion of rank and to use constraint solving procedures to incrementally compute the maximum simulation.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
