3 citations · 3 across the 1 of their papers we have counts for
1 paper
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
We investigate rules which allow variable elimination in binary CSP (constraint satisfaction problem) instances while conserving satisfiability. We study variable-elimination rules…