Finite model finding

2 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.

Phrasings that mean this problem

Finite model finding

automated-reasoning

MACE-style model findingSAT encoding of finite domainsspecialistautomated-reasoning
SEM-style model findingConstraint propagation over cellsspecialistautomated-reasoning