Satisfaction contrainte And NotRalph Debusmann
List of bibliographic references
Number of relevant bibliographic references: 13.Ident. | Authors (with country if any) | Title |
---|---|---|
000082 | Ehtesham Zahoor [Pakistan] ; Kashif Munir [Pakistan] ; Olivier Perrin [France] ; Claude Godart [France] | A Bounded Model Checking Approach for the Verification of Web Services Composition |
000343 | Mathieu Turuani [France] | The CL-atse protocol analyser |
000385 | Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France] | Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants |
000398 | Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |
000482 | Benoit Crabbe [France] ; Denys Duchier [France] | Metagrammar redux |
000911 | Hubert Comon [France] ; Claude Kirchner [France] | Constraint solving on terms |
000972 | H. Dubois [France] ; H. Kirchnei [France] | Rule Based Programming with constraints and strategies |
000999 | C. Ringeissen [France] ; E. Monfroy [Pays-Bas] | Generating propagation rules for finite domains : A mixed approach |
000A32 | C. Castro [France] ; E. Monfroy [Pays-Bas] | A control language for designing constraint solvers |
000B05 | A. Dury [France] ; F. Le Ber [France] ; V. Chevrier [France] | A reactive approach for solving constraint Satisfaction problems |
000B06 | H. Comon [France] ; M. Dincbas [France] ; J.-P. Jouannaud [France] ; C. Kirchner [France] | A methodological view of constraint solving |
000B52 | M. Mouhoub [France] ; F. Charpillet [France] ; J. P. Haton [France] | Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning |
000B59 | C. Castro [France] | COLETTE, prototyping CSP solvers using a rule-based language |
This area was generated with Dilib version V0.6.33. |