narendra jussien

professeur, équipe contraintes

école des mines de nantes - lina

» accueil » recherche » publications » livres

collection programmation par contraintes
ouvrages écrits ou coordonnés
participation à des ouvrages collectifs

collection programmation par contraintes

L'objet de la collection Programmation par Contraintes de l'éditeur Hermes dirigée par Narendra Jussien est de proposer des ouvrages contribuant à la diffusion de la programmation par contraintes sous la forme d'ouvrages de vulgarisation, d'ouvrages plus pointus permettant de faire le point sur un domaine de recherche ou encore d'ouvrages d'application.

N'hésitez pas à me soumettre vos manuscrits, vos plans détaillés ou simplement vos idées pour que cette collection puisse s'enrichir de publications en français ou en anglais sous la forme d'ouvrages traditionnels ou de traités (chaque chapitre est rédigé par un groupe différent d'auteurs).

Sont disponibles à ce jour dans la collection :

Décompositions combinatoires et applications industrielles +
par Thierry Benoist
Décompositions combinatoires et applications industrielles propose des schémas de décomposition originaux applicables à la résolution de problèmes combinatoires de grande taille. Prenant appui sur les outils classiques de la recherche opérationnelle comme l'optimisation linéaire, la programmation par contraintes ou les métaheuristiques, cet ouvrage développe des techniques de décomposition génériques souvent hybrides. Ces algorithmes sont appliqués sur des cas réels, issus de plusieurs années de pratique de la recherche opérationnelle au sein d'un grand groupe industriel diversifié. Neuf applications concrètes sont ainsi présentées, dans les domaines de la construction, de la téléphonie et de la télévision.
Polytechnicien et docteur en informatique, Thierry Benoist dirige l'équipe de recherche opérationnelle du e-lab, centre de recherche et d'innovation technologique du groupe Bouygues. Il a reçu en 2005 le prix de thèse ASTI, dans la catégorie applications innovantes.
Parution en février 2007
Type: ouvrage pointu, ouvrage d'application

Sont prévus :

début 2008 sous la direction de Lakhdar Sais, un ouvrage autour du problème SAT
mi 2008 par Christine Solnon, un ouvrage sur les techniques de résolution à base de colonies de fourmis
septembre 2008 sous la direction de Xavier Lorca, un ouvrage sur les contraintes de partitionnement de graphe
septembre 2008 par Christophe Lecoutre, un ouvrage sur les approches génériques efficaces pour la résolution des problèmes de satisfaction de contraintes

ouvrages écrits ou coordonnés

Trends in Constraint Programming +
par Frédéric Benhamou, Narendra Jussien et Barry O'Sullivan
Constraint programming is a constantly evolving field, something which is explored at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which those involved in this area can then use to develop their own work. This title provides an accessible overview of this by bringing together the best papers on a range of topics within this subject area, thus allowing those involved in constraint programming to benefit from the new innovations and results created as a result of the conference.
Parution en mai 2007

A to Z of sudoku +
de Narendra Jussien
The science behind Sudoku… Sudoku is a logic puzzle that has become a worldwide phenomenon in the last few years: but where has it come from? How does it work? And what is the science behind sudoku – what are the rules for generating and solving grids? Answers to all of these questions can be found in the A-Z of Sudoku. As its title suggests, this book provides a “one stop shop” on sudoku, covering the history of the puzzle, its development and growth in the world’s media, before moving on to the mathematics of sudoku and various techniques that can be used to solve grids by hand. Next, the essentials of software development relating to sudoku are presented along with the recent branch of computer science devoted to solving such problems: constraint programming, showing how the principle behind solving sudoku grids can be used in other contexts. Finally, the book concludes with a large number of grids ranging in difficulty from “very easy” to “expert” which the reader can use to apply the techniques they have acquired from the book in a practical context. Those interested in finding out more about the theory behind sudoku, its origins, it applications in other fields and (of course) how to improve their ability to solve it will find this book a must-read.
Parution en janvier 2007

Précis de sudoku +
de Narendra Jussien
Le sudoku est devenu un jeu de logique très populaire. Ce Précis de sudoku permet de découvrir les origines de ce jeu et d'apprendre à le résoudre par la présentation de règles mathématiques ou logiques. Près de quinze règles et techniques sont étudiées. Des exemples et des exercices progressifs sont illustrés à partir de grilles qui vont du plus facile à l'expert. Cet ouvrage explique les principes essentiels de la programmation d'un logiciel pour résoudre n'importe quelle grille de sudoku. Il expose les aspects importants du processus de génération de grilles et du procédé d'évaluation de leur difficulté. Il propose aussi plus de cent vingt grilles de niveau croissant pour mieux maîtriser ce jeu.
Parution en octobre 2006

Logique(s), langages formels et complexité pour l'informatique +
de Narendra Jussien
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés.
Parution en septembre 2006

participation à des ouvrages collectifs

Resource-Constrained Project Scheduling - Models, algorithms, extensions and applications +
par Christian Artigues, Sophie Demassey et Emmanuel Néron
This title presents a large variety of models and algorithms dedicated to the resource-constrained project scheduling problem (RCPSP), which aims at scheduling at minimal duration a set of activities subject to precedence constraints and limited resource availabilities.
Chapitre Reactive approaches avec Christelle Guéret (voir [Gu\'eret and Jussien, 2007])
Parution en 2007

Flexibilité et Robustesse en ordonnancement +
par Jean-Charles Billaut, Aziz Moukrim et Éric Sanlaville
Les problèmes d'ordonnancement sont très variés par nature. On les rencontre dans de nombreux domaines comme les systèmes de production, de gestion, la logistique, l'informatique, etc. La problématique étudiée dans cet ouvrage concerne l'intégration de la flexibilité et de la robustesse dans l'étude des problèmes d'ordonnancement. La flexibilité intervient à la frontière entre les approches déterministes et les approches en ligne . Certaines informations sur la nature du problème à résoudre et sur les données à traiter sont connues, mais cette connaissance est imparfaite et plus ou moins fiable. Nous savons également qu'il y aura une différence entre ce qui est prévu et ce qui se passera pendant la mise en œuvre d'une solution. Il s'agit donc de proposer une ou plusieurs solutions qui puissent bien s'adapter à la mise en œuvre, puis de proposer d'éventuelles décisions réactives. La robustesse caractérise la performance d'un algorithme en présence d'incertitudes sur les données. On peut parler de la robustesse d'une solution, mais aussi de la robustesse d'une procédure ou de la robustesse d'une assertion. C'est un qualificatif qui se rapporte plus généralement à une aptitude à résister à l'à peu près ou à l'ignorance.
Chapitre Ordonnancement dynamique de projet à contraintes de ressources avec Abdallah Elkhyari et Christelle Guéret (voir [Elkhyari et al., 2005])
Parution en 2005

	Trends in Constraint Programming + par Frédéric Benhamou, Narendra Jussien et Barry O'Sullivan Constraint programming is a constantly evolving field, something which is explored at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which those involved in this area can then use to develop their own work. This title provides an accessible overview of this by bringing together the best papers on a range of topics within this subject area, thus allowing those involved in constraint programming to benefit from the new innovations and results created as a result of the conference. Parution en mai 2007
	A to Z of sudoku + de Narendra Jussien The science behind Sudoku… Sudoku is a logic puzzle that has become a worldwide phenomenon in the last few years: but where has it come from? How does it work? And what is the science behind sudoku – what are the rules for generating and solving grids? Answers to all of these questions can be found in the A-Z of Sudoku. As its title suggests, this book provides a “one stop shop” on sudoku, covering the history of the puzzle, its development and growth in the world’s media, before moving on to the mathematics of sudoku and various techniques that can be used to solve grids by hand. Next, the essentials of software development relating to sudoku are presented along with the recent branch of computer science devoted to solving such problems: constraint programming, showing how the principle behind solving sudoku grids can be used in other contexts. Finally, the book concludes with a large number of grids ranging in difficulty from “very easy” to “expert” which the reader can use to apply the techniques they have acquired from the book in a practical context. Those interested in finding out more about the theory behind sudoku, its origins, it applications in other fields and (of course) how to improve their ability to solve it will find this book a must-read. Parution en janvier 2007
	Précis de sudoku + de Narendra Jussien Le sudoku est devenu un jeu de logique très populaire. Ce Précis de sudoku permet de découvrir les origines de ce jeu et d'apprendre à le résoudre par la présentation de règles mathématiques ou logiques. Près de quinze règles et techniques sont étudiées. Des exemples et des exercices progressifs sont illustrés à partir de grilles qui vont du plus facile à l'expert. Cet ouvrage explique les principes essentiels de la programmation d'un logiciel pour résoudre n'importe quelle grille de sudoku. Il expose les aspects importants du processus de génération de grilles et du procédé d'évaluation de leur difficulté. Il propose aussi plus de cent vingt grilles de niveau croissant pour mieux maîtriser ce jeu. Parution en octobre 2006
	Logique(s), langages formels et complexité pour l'informatique + de Narendra Jussien Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. Parution en septembre 2006