Publications

Preliminary Formalization of an Incremental Hierarchical Constraint Solver

AuthID
P-013-R0Y

Author(s)

Menezes F.

Barahona P.

Document Type

Proceedings Paper

Year published

1993

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 03029743

Volume: 727 LNAI, Pages: 281-296 (15)

Indexing

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/3-540-57287-2_54

Scopus: 2-s2.0-84949046078

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Preliminary Formalization of an Incremental Hierarchical Constraint Solver

Useful Links

Get Help

Federated Authentication (Click on the image)

Preliminary Formalization of an Incremental Hierarchical Constraint Solver

Useful Links

Get Help