Satisfaction contrainte And NotH. Dubois
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 |
| 000478 | Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Marco Kuhlmann [Allemagne] | Multi-dimensional graph configuration for natural language processing |
| 000482 | Benoit Crabbe [France] ; Denys Duchier [France] | Metagrammar redux |
| 000911 | Hubert Comon [France] ; Claude Kirchner [France] | Constraint solving on terms |
| 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. |  |