Keywords
Corpus
Crin
Racine
Corpus
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Crin)

Index « Keywords » - entrée « constraint solving »
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.
constraint solver design < constraint solving < constraint solving  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 8. **** probable Xml problem ****
Ident.Authors (with country if any)Title
000A10 (1990) C. Kirchner ; H. Kirchner ; M. RusinowitchDeduction with Symbolic Constraints
002324 (1998) Claude Kirchner ; Christophe RingeissenRule-Based Constraint Programming
002368 (1998) Eric Monfroy ; Christophe RingeissenSolex : a Domain-Independent Scheme for Constraint Solver Extension
002631 (1999) Eric Monfroy ; Christophe RingeissenAn Open Automated Framework for Constraint Solver Extension : the SoleX Approach
002A33 (2000) Christophe RingeissenHandling Relations over Finite Domains in the Rule-Based System ELAN
002A34 (2000) Christophe Ringeissen ; Eric MonfroyGenerating Propagation Rules for Finite Domains : a Mixed Approach
002A64 (2000) Frontiers of Combining Systems
003C92