Решение миссионеров и каннибалов с использованием Branch and Bound in C

Question

Я должен составить программу, которая решает проблему миссионеров и каннибалов. Я разобрался, как решить проблему, используя возврат, но я должен использовать алгоритм Ветвления и Связи.

Я хочу знать, что может быть критерием ветвления.