CO

Le but du projet COSCINUS est d'extraire et de visualiser les habitudes de publications à partir de DBLP.

Le

Le SAT Game est une présentation amusante et pédagogique du problème de satisfiabilité (SAT). Essayez de résoudre à la main des instances SAT simples !

SA

Pour connaître les dernières nouvelles autour du problème SAT.

th

Le but du projet OpenCycloDB est de fournir des données ouvertes fiables concernant les cyclodextrines pour faciliter leur usage dans le cadre de l'apprentissage automatique.

Software

XCSP3 est un format universel, basé sur XML, permettant de représenter des instances de problèmes combinatoires sous contraintes.