Variations on the Missionaries and Cannibals Problem

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2210.12269 v1 pith:Y2YEEKV3 submitted 2022-10-21 math.CO

George Spahn , Doron Zeilberger This is my paper · ORCID

classification math.CO

keywords cannibalsmissionariesproblemapproachesautomatedexploregeneralizedhuman

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

read the original abstract

We explore both automated and human approaches to the generalized Missionaries and Cannibals problem.

Forward citations

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Rethinking the Illusion of Thinking
cs.AI 2025-07 conditional novelty 5.0 of 10

Reasoning models' Towers of Hanoi failures persist under stepwise prompting, while River Crossing failures mostly vanish when tests are restricted to solvable configurations.