Au travers de ce cours CIS 673en PDF vous allez vous initier sur la résolution de contraintes: vérification de programme comme vérification de satisfiabilité des formules logiques, satisfiabilité booléenne et solveurs SAT efficaces, théories logiques décidables, combinaison de procédures de décision, solveurs SMT
Project Management in Science