CLP versus LS on Log-based Reconciliation Problems

Francois Fages

Nomadic applications create replicas of shared objects that evolve independently while they are disconnected. When reconnecting, the system has to reconcile the divergent replicas.…