Consistency in networks of relations (Q1231783)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Consistency in networks of relations	scientific article

Statements

scholarly article

0 references

Consistency in networks of relations (English)

0 references

Alan K. Mackworth

0 references

Artificial Intelligence

0 references

publication date

1977

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0004-3702(77)90007-8

0 references

0 references

0 references

Proving Properties of Programs by Structural Induction

0 references

0 references

REF-ARF: A system for solving problems stated as procedures

0 references

Nondeterministic Algorithms

0 references

Some simplified NP-complete graph problems

0 references

A Multistage Solution of the Template-Layout Problem

0 references

Networks of constraints: Fundamental properties and applications to picture processing

0 references

0 references

Scene Labeling by Relaxation Operations

0 references

GIT—a heuristic program for testing pairs of directed line graphs for isomorphism

0 references

A Theorem on Boolean Matrices

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/0004-3702(77)90007-8

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

DBLP publication ID

journals/ai/Mackworth77

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1231783

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1231783&oldid=37906014"