interference-search

Badtheorylabs

Reason over explicit states, many branches at once: merge duplicates, cancel dead ends, advance together.