Problémy splnitelnosti omezení, mající konečnou šířku

Abstrakt

Článek plně charakterizuje aplikovatelnosti testu lokální konzistence k řešení neuniformních problémů splnitelnosti omezení. To dává kladnou odpověď na hypotézu Larose a Zadoriho.

Klíčová slova

• Constraint
• Satisfaction
• Problems
• Bounded
• Width