Another Generalization of Resolution

Authors:
Norman Rubin;Malcolm C. Harrison
Affiliations:
Polytechnic Institute of New York, 230 Jay Street, Brooklyn, NY and New York University, New York, New York;Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, NY
Venue:
Journal of the ACM (JACM)
Year:
1978

Equality-based binary resolution

Journal of the ACM (JACM)
A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers

IEEE Transactions on Software Engineering
Automatic deduction and equality

ACM '79 Proceedings of the 1979 annual conference
The efficacy of rue resolution experimental results and heuristic theory

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Terminator

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A superposition oriented theorem prover

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Equality reasoning in clause graphs

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A new hyperparamodulation strategy for the equality relation

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
The management of heuristic search in boolean experiments with RUE resolution

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Automated deduction by theory resolution

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2

Hi-index	0.00