Missionaries and cannibals algorithm Missionaries and cannibals algorithm 2013-12-24 143 AND-OR-Invert