SEM-style model finding

Pairings in the atlas

Constraint propagation over cellsspecialistFinite model finding automated-reasoning

Rivals: other methods for the same problems

MACE-style model finding

Where it sits

automated-reasoning · Search, Constraints & Games