The logic of constraint satisfaction
type: Item
instance of: scholarly article
title: The logic of constraint satisfaction
zbMATH Open document ID: 0782.68104
DOI: 10.1016/0004-3702(92)90003-G
author: Alan K. Mackworth
published in: Artificial Intelligence
publication date: 1993-04-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 146351
zbMATH Keywords: finite CSP
MaRDI profile type: Publication
cites work: Constraint satisfaction from a deductive viewpoint
cites work: Constraint propagation with interval labels
cites work: Q3489523
cites work: Q4013845
cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae
cites work: Q4052071
cites work: On the Complexity of Timetable and Multicommodity Flow Problems
cites work: New problems complete for nondeterministic log space
cites work: Q3493326
cites work: A Proof Procedure Using Connection Graphs
cites work: Consistency in networks of relations
cites work: Q3668890
cites work: Networks of constraints: Fundamental properties and applications to picture processing
cites work: Constraint relaxation may be perfect
cites work: A logical framework for depiction and image interpretation
description: scientific article; zbMATH DE number 146351