Conferences in DBLP
Carmen Gervet Large combinatorial optimization problem methodology for hybrid models and solutions. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Ferrand , Alexandre Tessier Correction et complétude des sémantiques PLC revisitée par (co)-induction. [Citation Graph (0, 0)][DBLP ] Conf ] Slim Abdennadher , Michael Marte University timetabling using constraint handling rules. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Bernard , François Jacquenet Des programmes logiques avec contraintes qui apprennent des programmes logiques avec contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Channac Un système coopératif pour la résolution de contraintes géométriques. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Jacques , Bruno Legeard , Laurent Py Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Mohand-Said Hacid , Patrick Marcel , Christophe Rigotti Rule-based restructuring and summarizing in multidimensional data-bases. [Citation Graph (0, 0)][DBLP ] Conf ] Yann Loyer , Nicolas Spyratos , Daniel Stamate Unification des sémantiques usuelles de programmes logiques. [Citation Graph (0, 0)][DBLP ] Conf ] Sarah Mallet , Mireille Ducassé Pilotage d'un méta-interprète ensembliste par une trace "relationelle" pour le débogage de bases de données déductives. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia Mainguet Résolution incrémentale d'équations linéaires dans Z. [Citation Graph (0, 0)][DBLP ] Conf ] Yahia Lebbah , Olivier Lhomme Acceleration methods for numeric CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] David-Olivier Azulay , Jean François Pique Optimisation des Q-matrices pour la résolution de contraintes linéaires. [Citation Graph (0, 0)][DBLP ] Conf ] Liviu-Virgil Ciortuz DF - a feature constraint system and its extension to a logic concurrent language. [Citation Graph (0, 0)][DBLP ] Conf ] Narendra Jussien , Christelle Guéret Utilisation du backtrack intelligent dans un branch-and-bound. Application au problème d'Open-Shop. [Citation Graph (0, 0)][DBLP ] Conf ] Lotfi Berkaoui , Bruno Legeard Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Hoarau , Frédéric Mesnard Inférer et compiler la terminaison des programmes logiques avec contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Malésieux , Olivier Ridoux , Patrice Boizumault Compilation abstraite de LambdaProlog. [Citation Graph (0, 0)][DBLP ] Conf ] 