A strategy for ordering disjunctives in the resolution method

DOI10.1007/BF01103264zbMath0643.68147MaRDI QIDQ1102130

V. I. Sharonov

Publication date: 1988

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

zbMATH Keywords

resolutionordering of disjunctives

Mathematics Subject Classification ID

Related Items (1)

Strategy of defactorization in the resolution method

This page was built for publication: A strategy for ordering disjunctives in the resolution method