La notion de multimodalité dans les réseaux de transport collectif fait l'objet de di érentes thématiques de recherche liées à l'aménagement des réseaux. Le problème de déplacement est l'un des problèmes le plus étudié ...

La simplicité du formalisme de la logique propositionnelle a considérablement contribué aux succès courants de la résolution des problèmes SAT. D'une part, la simplicité du formalisme facilite l’implémentation de solveurs ...