Filtrer vos résultats
- 90
- 32
- 89
- 14
- 10
- 5
- 1
- 1
- 1
- 1
- 1
- 82
- 40
- 4
- 2
- 1
- 2
- 2
- 1
- 5
- 8
- 6
- 14
- 11
- 13
- 16
- 9
- 4
- 8
- 3
- 5
- 4
- 5
- 3
- 93
- 29
- 120
- 113
- 36
- 8
- 6
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 122
- 29
- 22
- 14
- 12
- 11
- 9
- 8
- 8
- 8
- 7
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
122 résultats
Hybrid Optimization TechniquesNarendra Jussien and François Laburthe. Kluwer, 130, pp.150, 2004, Annals of Operations Research
Ouvrages
hal-00869110v1
|
|||
|
The PaLM system: explanation-based constraint programmingTRICS: Techniques foR Implementing Constraint programming Systems, a post-conference of CP 2000, Sep 2000, Singapour, Singapore. pp.118-133
Communication dans un congrès
hal-04031165v1
|
||
|
Relaxation de Contraintes pour les problèmes dynamiquesGénie logiciel [cs.SE]. Université Rennes 1, 1997. Français. ⟨NNT : ⟩
Thèse
tel-00293897v1
|
||
|
Implémenter des contraintes globales expliquéesPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.393-402
Communication dans un congrès
inria-00000056v1
|
||
|
Évaluer la difficulté d'une grille de sudoku à l'aide d'un modèle contraintesDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, France
Communication dans un congrès
inria-00085809v1
|
||
Fourth international workshop on integration of AI and OR techniques in Constraint Programming for combinatorial optimisation problems (CP-AI-OR)Narendra Jussien and François Laburthe. Ecole des Mines de Nantes, pp.300, 2002
Ouvrages
hal-00869115v1
|
|||
Programmation par contraintes avec explications7ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), 2001, Unknown, pp.147--158
Communication dans un congrès
hal-00869122v1
|
|||
|
The versatility of using explanations within constraint programmingOther [cs.OH]. Université de Nantes, 2003
HDR
tel-00293905v1
|
||
Constraint Programming for Software EngineeringFifth Congress of Logic applied to Technology (LAPTEC'05), 2005, Himeji, Japan
Communication dans un congrès
hal-00869106v1
|
|||
About avoidable computations in Interval methodsSCAN ― IMACS/GAMM international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 1998, Budapest, Hungary. pp.66
Communication dans un congrès
hal-00869128v1
|
|||
|
Local search with constraint propagation and conflict-based heuristicsArtificial Intelligence, 2002, 139 (1), pp.21-45
Article dans une revue
hal-00312750v1
|
||
Quelques explications pour les patrons ou une utilisation de la PPC avec explications pour l'identification de patrons de conception7ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), 2001, Toulouse, France. pp.111-122
Communication dans un congrès
hal-00869121v1
|
|||
CSP dynamiques et Relaxation de ContraintesCNPC'96: deuxième Conférence Nationale sur la résolution pratique de Problèmes NP-Complets, 1996, Dijon, France. pp.135--149
Communication dans un congrès
hal-00869133v1
|
|||
Recherche locale et propagation de contraintes pour résoudre les problèmes d'Open-ShopTroisièmes journées francophones de Recherche Opérationnelle (FRANCORO III), 2001, Québec, Canada
Communication dans un congrès
hal-00869123v1
|
|||
Maintien de la consistance d'arc dans Dynamic Backtracking6ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'00), 2000, Unknown, pp.135--149
Communication dans un congrès
hal-00869125v1
|
|||
|
Instantiating and Detecting Design Patterns: Putting Bits and Pieces TogetherASE'01: 16th IEEE conference on Automated Software Engineering, Nov 2001, San Diego, United States. pp.166--173, ⟨10.1109/ASE.2001.989802⟩
Communication dans un congrès
hal-00869120v1
|
||
Dixièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'04)Narendra Jussien. Université d'Angers, pp.450, 2004
Ouvrages
hal-00869107v1
|
|||
|
The Path-repair algorithmElectronic Notes in Discrete Mathematics, 2000, 4, pp.2-16. ⟨10.1016/S1571-0653(05)80102-7⟩
Article dans une revue
istex
hal-00312820v1
|
||
Implementing Constraint Relaxation over Finite Domains using ATMSOver-Constrained Systems, 1996, Unknown, pp.265--280
Communication dans un congrès
hal-00869134v1
|
|||
Combining Constraint Programming and Local Search to Design New Powerful Heuristics5th Metaheuristics International Conference (MIC'2003), 2003, Kyoto, Japan
Communication dans un congrès
hal-00869113v1
|
|||
Maintien de Déduction pour la Relaxation de ContraintesJournées Francophones de Progammation en Logique et avec Contraintes (JFPLC'96), 1996, Clermont-Ferrand, France. pp.239--253
Communication dans un congrès
hal-00869135v1
|
|||
Best-first search for property Maintenance in reactive constraints systemsInternational Logic Programming Symposium, 1997, Port Jefferson, N.Y., United States. pp.339--353
Communication dans un congrès
hal-00869131v1
|
|||
L'enseignement de la programmation logique à l'Ecole des Mines de Nantes9 ème Journées Francophones de Progammation en Logique et avec Contraintes (JFPLC'03), 2003, Amiens, France, France. pp.63--75
Communication dans un congrès
hal-00448543v1
|
|||
A to Z of sudokuISTE, pp.140, 2007, 9781847040008
Ouvrages
hal-00869095v1
|
|||
Subcontractors scheduling on residential buildings construction sitesISS'06 International Scheduling Symposium, 2006, Arcadia Ichigaya, Tokyo, Japan. pp.32--37
Communication dans un congrès
hal-00869099v1
|
|||
L'algorithme Path-Repair5ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'99), 1999, Lyon, France
Communication dans un congrès
hal-00869127v1
|
|||
A Best First approach for solving over-constrained dynamic problemsIJCAI'97, 1997, Nagoya, Japan
Communication dans un congrès
hal-00869130v1
|
|||
|
Choco: an Open Source Java Constraint Programming LibraryCPAIOR'08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP'08), 2008, Paris, France, France. pp.1-10
Communication dans un congrès
hal-00483090v1
|
||
Précis de SudokuHermes Science, pp.140, 2006, 2746215594
Ouvrages
hal-00869098v1
|
|||
Logique(s), langages formels et complexité pour l'informatiqueHermes Sciences, pp.314, 2006, Jean-Charles Pomerol
Ouvrages
hal-00483099v1
|