This paper brings mechanism design to conflict resolution. We determine when and how unmediated communication and mediation reduce the ex ante probability of conflict in a game of conflict with asymmetric information. Mediation improves upon unmediated communication when the intensity of conflict is high, or when asymmetric information is significant. The mediator improves upon unmediated commu...

Considering the theoretical hardness of SAT, the astonishing adeptness of SAT solvers when attacking practical problems has changed the way we perceive the limits of algorithmic reasoning. Modern SAT solvers are based on the idea of conflict driven clause learning (CDCL). The CDCL algorithm is a combination of an explicit backtracking search for a satisfying assignment complemented with a deduc...

Real time group editors allow two or more users at different locations to work on a shared document at the same time. In a mobile network environment with nondeterministic communication latency, a replicated architecture is usually adopted for the storage of the shared document in order to provide high responsiveness. A conflict occurs when two or more users have different intentions for editin...