Efficient constraint propagation engines