Equinox
From MaRDI portal
Software:21747
No author found.
Related Items (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
