Partenaires
Accueil du site > Logiciels > Sites web
Sites web
Les personnels du CRIL conçoivent et maintiennent des sites web pour animer la communauté scientifique.
Seconde compétition de solveurs CSP
La seconde compétition de solveurs CSP a utilisé l’environnement d’évalution de PB06 sur le cluster du CRIL. Les résultats sont disponibles ici.
PB07 : Troisième évaluation de prouveurs pseudo-Booléens
La troisième évaluation de prouveurs pseudo-Booléens s’est déroulée sur le cluster du CRIL et a été organisée conjointement par V. Manquiho et O. Roussel. Le site de l’évaluation PB07 présente tous les résultats.
Compétition SAT 2007
La compétition SAT 2007 s’est déroulée sur le cluster du CRIL, dans le même environnement que les évaluations PB06 et PB07 et la compétition CPAI06. Voir le site web des compétitions SAT et les tous les détails sur la compétition SAT 2007.
PB06 : deuxième évaluation de prouveurs pseudo-Booléens
La deuxième évaluation de prouveurs pseudo-Booléens s’est déroulée sur le cluster du CRIL et a été organisée conjointement par V. Manquiho et O. Roussel. Le site de l’évaluation PB06 présente tous les résultats.
SAT Competition
Le site web de la competition annuelle des prouveurs SAT organisée par Daniel Le Berre et Laurent Simon.
SAT Live !
SAT Live ! est un site web permettant de centraliser les informations concernant SAT. On y trouve des liens vers les derniers travaux autour de SAT, les annonces des manifestations, les nouveaux outils et benchmarks. Indispensable pour les personnes intéressées par SAT.