En allmänt accepterad strategi för att lösa problem med begränsad tillfredsställelse kombinerar systematisk trädsökning med begränsningsutbredning för beskärning av sökområdet. Restriktiv förökning utförs av förökningsmaterial som tillämpar ett visst begrepp om överensstämmelse. Gränser konsekvens är metoden att välja för att bygga propagatorer för aritmetiska begränsningar och flera globala begränsningar i det finita heltal domänen. Det har dock rått en viss förvirring när det gäller definitionen av begränsningars konsekvens. I detta dokument klargör vi skillnaderna och likheterna mellan de tre allmänt använda begreppen om gränskonsistens.
Flera alternativa definitioner av begränsningar konsekvens finns i skarpa CSPs REF.
Finite Domain Bounds Consistency Revisited
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}