Je me demande s'il existe des approches formulant un problème de routage de véhicule avec des fenêtres temporelles ( VRPTW ) (en tant que problème de décision) en tant qu'instance SAT / SMT? (alternative: TSP) Par exemple: "Existe-t-il une solution valable pour visiter tous les clients dans leurs...