Unit Propagation with Stable Watches (Short Paper).

Ashlin Iser, Toms Balyo

Browse the full CP paper archive.