Exclusion constraints: a new application of graph algorithms to VLSI design