Equinox

swMATH9768MaRDI QIDQ21747FDOQ21747

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: Equinox