Conferences in DBLP
Christian Timpe A hybrid MIP-CP algorithm for a linked planning and scheduling problem from chemical industry. [Citation Graph (0, 0)][DBLP ] Conf ] Juliette Mattioli , Konstantin Artiouchine Noyau de viabilité: une contrainte globale pour la modélisation de systèmes dynamiques. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Barichard , Jin-Kao Hao Une approche hybride pour l'optimisation multi-objectif sous contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Catherine Belleannée , Olivier Ridoux Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. [Citation Graph (0, 0)][DBLP ] Conf ] Narendra Jussien L'enseignement de la programmation logique à l'Ecole des Mines de Nantes. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Solnon Un cours "électronique" sur la programmation par contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Museux , Laurent Jeannin , Pierre Savéant , Fabien Le Huédé , François-Xavier Josset , Juliette Mattioli Claire/Eclair : Un environnement de modélisation et de résolution pour des applications d'optimisation combinatoires embarquées. [Citation Graph (0, 0)][DBLP ] Conf ] Ludovic Langevine , Pierre Deransart Un nouveau traceur générique pour GNU-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Samir Ouis , Narendra Jussien , Patrice Boizumault Explications k-relevantes pour la programmation par contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Arnaud Lallouet , Andrei Legtchenko , Thi-Bich-Hanh Dao , AbdelAli Ed-Dbali Apprentissage de solveurs de contraintes sur les domaines finis. [Citation Graph (0, 0)][DBLP ] Conf ] François Laburthe , Yves Caseau De l'utilité des contraintes pour explorer des catalogues. [Citation Graph (0, 0)][DBLP ] Conf ] Nathalie Chabrier , François Fages "Model Checking" symbolique de réseaux bio-chimiques. [Citation Graph (0, 0)][DBLP ] Conf ] Samir Loudni , Patrice Boizumault , Philippe David Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Jeannin , Simon de Givry Optimisation des évolutions d'un réseau télécoms. [Citation Graph (0, 0)][DBLP ] Conf ] Lucas Bordeaux , Eric Monfroy Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Bouquet , Bruno Legeard , Nicolas Vacelet Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Ambert , Sébastien Chemin , Bruno Legeard Intégration de domaines à variables dans un solveur de contraintes ensemblistes. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Francois Puget Cassure de symétries à base de stabilisateurs : Application aux CSP matriciels. [Citation Graph (0, 0)][DBLP ] Conf ] Guillaume Arnaud Implantation de SBDS en GNU-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Coquery , François Fages Contraintes de sous-typage dans les quasi-treillis. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Lecoutre , Frédéric Boussemart , Fred Hemery De AC3 à AC7. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Barichard , Hervé Deleau , Jin-Kao Hao , Frédéric Saubion Evolution + Adaptation = Résolution. [Citation Graph (0, 0)][DBLP ] Conf ] François Laburthe Des contraintes sur des ontologies. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Goossens Bipartitions et équations linéaires. [Citation Graph (0, 0)][DBLP ] Conf ] Mustapha Belaïssaoui , Houssine Bouyakhf L'optimalité de l'algorithme "Distributed Intelligent Backtracking". [Citation Graph (0, 0)][DBLP ] Conf ] Moussa Demba , Francis Alexandre , Khaled Bsaïes Correction de Conjectures Fausses par Synthèse de Programmes. [Citation Graph (0, 0)][DBLP ] Conf ] 