MePo relevance filter

Also known as Meng-Paulson filter, MePo. This is the canonical page; those names redirect here.

Pairings in the atlas

Symbol-overlap scoringspecialistLarge-theory premise selection automated-reasoning

Rivals: other methods for the same problems

SInE selection

Where it sits

automated-reasoning · Search, Constraints & Games