FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Satisfaction contrainte »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Satisfaction < Satisfaction contrainte < Satisfaisabilité  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000082 (2013) 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 (2006) Mathieu Turuani [France]The CL-atse protocol analyser
000385 (2006) 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 (2006) 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 (2005) Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Marco Kuhlmann [Allemagne]Multi-dimensional graph configuration for natural language processing
000482 (2005) Benoit Crabbe [France] ; Denys Duchier [France]Metagrammar redux
000911 (2001) Hubert Comon [France] ; Claude Kirchner [France]Constraint solving on terms
000972 (2000) H. Dubois [France] ; H. Kirchnei [France]Rule Based Programming with constraints and strategies
000999 (2000) C. Ringeissen [France] ; E. Monfroy [Pays-Bas]Generating propagation rules for finite domains : A mixed approach
000A32 (2000) C. Castro [France] ; E. Monfroy [Pays-Bas]A control language for designing constraint solvers
000B05 (1999) A. Dury [France] ; F. Le Ber [France] ; V. Chevrier [France]A reactive approach for solving constraint Satisfaction problems
000B06 (1999) H. Comon [France] ; M. Dincbas [France] ; J.-P. Jouannaud [France] ; C. Kirchner [France]A methodological view of constraint solving
000B52 (1998) M. Mouhoub [France] ; F. Charpillet [France] ; J. P. Haton [France]Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
000B59 (1998) C. Castro [France]COLETTE, prototyping CSP solvers using a rule-based language

List of associated Author.i

Nombre de
documents		Descripteur
2C. Castro
2Denys Duchier
2E. Monfroy
1A. Dury
1Alwen Tiu
1Benoit Crabbe
1C. Kirchner
1C. Ringeissen
1Claude Godart
1Claude Kirchner
1Daniele Zucchelli
1Ehtesham Zahoor
1Enrica Nicolini
1F. Charpillet
1F. Le Ber
1H. Comon
1H. Dubois
1H. Kirchnei
1Hubert Comon
1J. P. Haton
1J.-P. Jouannaud
1Jean-Yves Marion
1Kashif Munir
1Leonor Prensa Nieto
1M. Dincbas
1M. Mouhoub
1Marco Kuhlmann
1Maria Paola Bonacina
1Mathieu Turuani
1Olivier Perrin
1Pascal Fontaine
1Ralph Debusmann
1Silvio Ghilardi
1Silvio Ranise
1Stephan Merz
1V. Chevrier

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Satisfaction contrainte" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Satisfaction contrainte" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Satisfaction contrainte
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022