A Connectivity Constraint using Bridges
Patrick Prosser, Chris Unsworth · 2006
We present a specialised constraint for enforcing graph connectivity. It is assumed that we have a square symmetrical array A of 0/1 constrained integer variables representing potential undirected edges in a simple graph, such that variable A[u, v] corresponds to