The Anatomy of Equinox – An Extensible Automated Reasoning Tool for First-Order Logic and Beyond

DOI10.1007/978-3-642-22438-6_1zbMath1341.68186OpenAlexW1214709765MaRDI QIDQ5200011

Koen Claessen

Publication date: 29 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22438-6_1

Mathematics Subject Classification ID

Related Items (1)

Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning

Uses Software

• Equinox

This page was built for publication: The Anatomy of Equinox – An Extensible Automated Reasoning Tool for First-Order Logic and Beyond