M. Bouzoubaa. Un resolveur de syst'eme de contraintes fonctionnelles hi'erarchique. Tech. rep., CERMICS-INRIA Sophia-Antipolis, November 1994. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Houria III: A Solver For Hierarchical Systems Of.. - Bouzoubaa, Neveu, Hasle Self-citation (Bouzoubaa) (Correct)
....in S , and keeps each lwsg in each subset of S maximal consistent. The two sets S and S are sorted by considering the potential labelweight of their subsets . The procedure returns the first subset of S, this first subset contains the LWSBG solution graph. The actual algorithm is giving in [14]. 4 COMPARISON WITH OTHER SOLVERS QuickPlan is an incremental algorithm for satisfying hierarchies of multi way dataflow constraints [9] SkyBlue is a successor of the DeltaBue solver [7] Like DeltaBlue, SkyBlue solves hierarchies of multi way constraints using Locally Houria III: Planning of ....
M. Bouzoubaa. Un resolveur de syst'eme de contraintes fonctionnelles hi'erarchique. Tech. rep., CERMICS-INRIA Sophia-Antipolis, November 1994.
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