A constraint-based approach to narrow search trees for satisfiability
type: Item
instance of: scholarly article
title: A constraint-based approach to narrow search trees for satisfiability
zbMATH Open document ID: 1015.68518
DOI: 10.1016/S0020-0190(99)00088-5
published in: Information Processing Letters
publication date: 2002-07-25T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 1771697
author: Chu-Min Li
MaRDI profile type: Publication
full work available at URL: s0020-0190(99)00088-5
OpenAlex ID: W2021144815
description: scientific article; zbMATH DE number 1771697