Branch-and-Bound: Ordering
proc {Constrain S SolS Ordering}
{Inject S
proc {$ NR}
OR={Space.peek SolS}
in
{Ordering OR NR}
end}
end
We assume a pruning procedure Ordering
Previous slide
Next slide
Back to first slide
View graphic version