Equinox

MaRDI QIDQ21747swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_1

Cited in

(2)

• Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning
• The anatomy of Equinox -- an extensible automated reasoning tool for first-order logic and beyond (talk abstract)

This page was built for software: Equinox