SInE selection

Pairings in the atlas

Symbol-frequency axiom triagespecialistLarge-theory premise selection automated-reasoning

Rivals: other methods for the same problems

MePo relevance filter

Where it sits

automated-reasoning · Search, Constraints & Games