1: \begin{abstract}

2: In this paper, the problem of assigning channel slots to a number of contending stations is modeled as a Constraint Satisfaction Problem (CSP).

3: A learning MAC protocol that uses deterministic backoffs after successful transmissions is used as a decentralized solver for the CSP.

4: The convergence process of the solver is modeled by an absorbing Markov chain (MC), and analytical, closed-form expressions for its transition probabilities are derived.

5: Using these, the expected number of steps required to reach a solution is found.

6: The analysis is validated by means of simulations and the model is extended to account for the presence of channel errors.

7: The results are applicable in various resource allocation scenarios in wireless networks.

8: 

9: %\boldmath

10: %In this paper we use a Markov Chain to model a simple solver for Decentralized Constrain Satisfaction problems.

11: %We provide closed-form expressions to compute the transition probabilities and the transition probabilities matrix can then be used to determine the expected number of steps that the system requires to converge to a solution.

12: %We use a protocol to allocate channel slots to contending stations as an illustrating example, and extend our model to contemplate the possibility of channel errors.

13: %The model is validated by means of simulation and we show that it can be easily extended to account for the presence of errors.

14: \end{abstract}

15: