TY - RPRT TI - PPZ For More Than Two Truth Values - An Algorithm for Constraint Satisfaction Problems AU - Dominik Scheder PY - 2010 UR - https://arxiv.org/abs/1010.5717 ID - 1010.5717 ER -