Variable Elimination in Binary CSP via Forbidden Patterns

Open in new window