See this document in CiteSeerX!

Houria II: A Solver For Hierarchical Constraint Systems. Planning of Lexicographic Satisfied Count Best Case Better Graph for Equational Constraints (1995)  (Make Corrections)  (1 citation)
Mouhssine Bouzoubaa, Bertrand Neveu, Geir Hasle
OCS'95: Workshop on Over-Constrained Systems at CP'95



  Home/Search   Context   Related

 
View or download:
sop.inria.fr/cermics/cont...cp95b.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  inria.fr/cermics/c...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Equational constraints are useful in many applications such as user interface and simulation packages. In many situations, it is desirable to be able to state both hard and soft constraints. The hard constraints must hold, and the soft constraints should be satisfied as much as possible, depending on the criterion used. A constraint hierarchy consists of a set of constraints, each labeled as either hard or soft at some strength, and each soft constraint is weighted by a real-valued weight.... (Update)

Context of citations to this paper:   More

...can solve constraint hierarchies if they have at least one acyclic solution graph. CHAPTER 7. RELATED WORK 101 Houria [14] and Houria II [15] are algorithms that solve constraint hierarchies using a certain kind of global hierarchy comparators. Others Techniques for compiling...

Cited by:   More
Theoretical Properties and Efficient Satisfaction of Hierarchical .. - Hosobe (1997)   (Correct)

Similar documents (at the sentence level):
24.4%:   Houria III: A Solver For Hierarchical Systems Of.. - Bouzoubaa, Neveu, Hasle   (Correct)

Active bibliography (related documents):   More   All
0.5:   Multi-way versus One-way Constraints in User.. - Sannella.. (1993)   (Correct)
0.2:   Hierarchical Constraint Logic Programming - Wilson (1993)   (Correct)
0.2:   The SkyBlue Constraint Solver - Sannella (1992)   (Correct)

Similar documents based on text:   More   All
0.2:   Tree Search Methods versus Genetic Algorithms for.. - Madeline, Neveu (2001)   (Correct)
0.2:   Integration of Geographical Information Technology.. - Misund, Johansen.. (1995)   (Correct)
0.2:   Constraint Technology Applied to Forest Treatment Scheduling - Adhikary, Hasle, Misund (1997)   (Correct)

Related documents from co-citation:   More   All
2:   Hierarchical Constraint Logic Programming - Wilson - 1993
2:   Efficient Satisfaction of Constraint Hierarchies with Inequalities (context) - Hosobe, Matsuoka - 1995
2:   Locally Simultaneous Constraint Satisfaction - Hosobe, Miyashita et al. - 1994

BibTeX entry:   (Update)

Bouzoubaa, M., B. Neveu, and G. Hasle, "Houria II: A Solver for Hierarchical Constraint Systems," in Proceedings of the Workshop on Constraints for Graphics and Visualization at CP'95, Sept. 1995. http://citeseer.ist.psu.edu/bouzoubaa95houria.html   More

@inproceedings{ bouzoubaa95houria,
    author = "Mouhssine Bouzoubaa and Bertrand Neveu and Gier Hasle",
    title = "Houria: {A} Solver for Equational Constraints in a Hierarchical System",
    booktitle = "{OCS}'95: Workshop on Over-Constrained Systems at {CP}'95",
    month = "18",
    address = "Cassis, Marseilles",
    editor = "Michael Jampel and Eugene Freduer and Michael Maher",
    year = "1995",
    url = "citeseer.ist.psu.edu/bouzoubaa95houria.html" }
Citations (may not include all citations):
112   Garnet: Comprehensive Support for Graphical (context) - Myers, Giuse et al. - 1990
96   Lisp and Symbolic Computation (context) - Borning, Freeman-Benson et al. - 1992
76   Multi-way versus One-Way Constraints in User Interfaces: Exp.. - Sannella, Freeman-Benson et al. - 1992
72   ACM Transactions on Programming Languages and Systems (context) - Borning, The - 1981
24   Multi-Garnet: Integrating multi-way constraints with garnet - Sannella, Borning - 1992
22   Locally Simultaneous Constraint Satisfaction LNCS 874: Princ.. - Hosobe, Miyachita et al. - 1994
20   Highly-Interactive User Interfaces: The Garnet User Interfac.. (context) - Brad, Myers - 1990
15   A framework for constructing animations via declarative mapp.. - Taakahashi, Miyashita et al. - 1994  DBLP
11   A constraint imperative programming language (context) - Freeman-Benson, The et al. - 1992
9   An Incremental Algorithm for Satisfying Hierarchies of Multi.. - Zanden - 1995
3   Multiple solutions from constraint hierarchies (context) - Freeman-Benson - 1988
3   The Houria Constraint Solver (context) - Bouzoubaa - 1995  DBLP
3   The Houria Constraint Solver (context) - Bouzoubaa - 1995  DBLP
2   Comstraint technology for user-interface construction in thi.. (context) - Maloney, Borning et al. - 1989
1   Inteteractive generation of graphical user interfaces by mul.. (context) - Miyashita, Matsuoka et al. - 1994
1   langage for expressing almost-hierarchical descriptions (context) - Sussman, Steele - 1980
1   Constraint hierarchies and logic programing (context) - Borning, Maher et al. - 1989
1   Departement of Computer Science and Engineering (context) - Sannella, Constraint et al. - 1993
1   Departement of Computer Science and Engineering (context) - Wilson, Borning et al. - 1993
1   Un resolveur de systéme de contraintes fonctionnelles hiérar.. (context) - Bouzoubaa - 1994

Documents on the same site (http://www.inria.fr/cermics/contraintes/publications.html):   More
Self Adapting Crossover Operator for CSP - Riff-Rojas   (Correct)
Filtrage De Problemes Par Consistance De Chemin Restreinte - Berlandier   (Correct)
A Non-diffident Combinatorial Optimization Algorithm - Trombettoni, Neveu..   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC