Equinox

swMATH9768MaRDI QIDQ21747FDOQ21747

Author name not available (Why is that?)

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

This page was built for software: Equinox