Branch-and-Bound: Implementation

fun {BAB S SolS Ord}

case {Space.ask S} of failed then SolS

[] succeeded then S

[] alternatives(2) then

C={Clone S}

{Space.commit S 1} {Space.commit C 2}

NewS={BAB S SolS Ord}

in

case NewS==SolS then skip

else {Constrain C NewS Ord}

end

end

end

Previous slide

Next slide

Back to first slide

View graphic version