Et bien j'en ai appris des choses en partant du lien donné vers la page Wikipédia "Satisfiability Modulo Theories".
(Problèmes SAT, Optimisation combinatoire, Pb du sac à dos, ...)
Vive Wikipédia. Vraiment.
Et vive Linuxfr qui par ses dépêches nous font innocemment découvrir d'autres "branches" dans la programmation...
# Génial
Posté par Maxime G . En réponse à la dépêche CVC3, IntelliJ IDEA et Uruguay. Évalué à 5.
(Problèmes SAT, Optimisation combinatoire, Pb du sac à dos, ...)
Vive Wikipédia. Vraiment.
Et vive Linuxfr qui par ses dépêches nous font innocemment découvrir d'autres "branches" dans la programmation...
Petits malins va !