Strategy of defactorization in the resolution method
type: Item
instance of: scholarly article
title: Strategy of defactorization in the resolution method
zbMATH Open document ID: 0643.68146
DOI: 10.1007/BF01103265
author: V. I. Sharonov
published in: Journal of Soviet Mathematics
publication date: 1988-01-01T00:00:00Z
review text: Translation from Issled. Prikl. Mat. 2, 91-97 (Russian) (1974; Zbl 0341.68059).
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4049139
zbMATH Keywords: defactorization
zbMATH Keywords: resolution
MaRDI profile type: Publication
cites work: A strategy for ordering disjunctives in the resolution method
description: scientific article; zbMATH DE number 4049139