Strategy of defactorization in the resolution method

DOI10.1007/BF01103265zbMath0643.68146MaRDI QIDQ1102129

V. I. Sharonov

Publication date: 1988

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

zbMATH Keywords

resolutiondefactorization

Mathematics Subject Classification ID

Cites Work

• A strategy for ordering disjunctives in the resolution method

This page was built for publication: Strategy of defactorization in the resolution method