now.net

Paramodulation

Pairings in the atlas

Rivals: other methods for the same problems

Where it sits

automated-reasoning · Search, Constraints & Games