## [Part1] Fixpoint Algorithm

##### Question 1: Fixpoint algorithm and inconsistency

Consider a CSP with three variables and three binary constraints:

$$X < Y$$

$$Y < Z$$

$$Z < X$$

and initial domains $$D(X)=D(Y)=D(Z)=[0..100]$$.

Assume that all the three constraints are in the propagation queue initially.

Select all the true statements:

##### Question 2: Fixpoint algorithm: general assertions

Select all the true statements regarding the fixpoint computation and implementation in MiniCP: