Langages de Spécification

Master 1 Informatique, Université Paris-Est Créteil, 2012-2013.

Support de Cours

Travaux Dirigés

  1. valeurs de vérité, satisfaisabilité,validité,tableaux sémantiques: sujet.
  2. formes normales, modélisation en SAT: sujet.

Travaux Pratiques

  1. Résolution du jeu 123Path avec MiniSAT: sujet, squelette de code