Tractable decision for a constraint language implies tractable search
type: Item
instance of: scholarly article
title: Tractable decision for a constraint language implies tractable search
zbMATH Open document ID: 1074.68061
DOI: 10.1023/B:CONS.0000036045.82829.94
author: David A. Cohen
published in: Constraints
publication date: 2005-03-15T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 2146194
zbMATH Keywords: complexity
zbMATH Keywords: tractability
MaRDI profile type: Publication
full work available at URL: b:cons.0000036045.82829.94
OpenAlex ID: W2054511082
description: scientific article; zbMATH DE number 2146194