MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Complexity of Set Constraints." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

36 documents found, showing 1 through 10. Next 10 →

ATOM

The Complexity of Set Constraints
by Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers — 1993
…The Complexity of Set Constraints Alexander Aiken 1 , Dexter Kozen 2 , Moshe Vardi 1 , Ed…
Cited by 62 (9 self) – Add To MetaCart

Solving Classes of Set Constraints with Tree Automata
by P. Devienne, Jm. Talbot, S. Tison — 1997 — Proceedings of the Third International Conference on Principles and Practice of Constraint Programming - CP97, volume 1330 of LNCS
… analysis of programs. However, it is known that the complexity of set constraint problems in the most…
Cited by 20 (2 self) – Add To MetaCart

A Shortest Paths Ranking Algorithm
by José Augusto de Azevedo, Joaquim João E. R. Silvestre Madeira, Ernesto Q. Vieira Martins, Filipe Manuel A. Pires, Filipe Manuel, A. Pires, Associazione Italiana, Ricerca Operativa — 1990
… some complex set of constraints is associated with each path. If these constraints are ignored…
Add To MetaCart

Entailment of Atomic Set Constraints is PSPACE-Complete
by Joachim Niehren, Martin Müller, Jean-marc Talbot — 1999 — In Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS
…, Germany Abstract The complexity of set constraints has been extensively studied over the last years…
Cited by 8 (5 self) – Add To MetaCart

Set Constraints: a Pearl in Research on Constraints
by Leszek Pacholski, Andreas Podelski — 1997
…. Aiken, Kozen, Vardi and Wimmers [3] gave the detailed analysis of the complexity of the set-constraint…
Cited by 29 (4 self) – Add To MetaCart

Formal Methods for the Validation of Automotive Product Configuration Data
by Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin — 2003 — Artificial Intelligence for Engineering Design, Analysis and Manufacturing
… of options” translate into rather complex sets of constraints. Therefore we extended Boolean logic by a…
Cited by 23 (6 self) – Add To MetaCart

Set Constraints: Results, Applications and Future Directions
by Alexander Aiken — In Second Workshop on the Principles and Practice of Constraint Programming
… in understanding the algorithms for and complexity of solving various classes of set constraints. On the practical…
Cited by 66 (3 self) – Add To MetaCart

Modeling constraints with the fuzzy logic inference processor FLIP++
by Markus Bonner, Stefan Mayer, Andreas Raggl, Wolfgang Slany — 1996
…, as exemplified in Figure 3. To build up such a complex set of constraints requires the ability to combine small…
Add To MetaCart

Stability Analysis of Real-Time Systems: Porting Crisp Methods to Fuzzy
by Blaz Zupan, Albert Mo Kim Cheng, Kim Cheng, Marko Bohanec
…. Another, slightly more complex set of constraints says that a program is stable if it consists of rules…
Add To MetaCart

Populating the Semantic Web by Macro-Reading Internet Text
by Tom M. Mitchell, Justin Betteridge, Andrew Carlson, Estevam Hruschka, Richard Wang
…’ classifier labels B positive. As the ontology grows in complexity, the set of constraints on the learner also…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB