Curriculum LDD Informatique-Mathématiques
Projet : Logique (S2)
Objectifs : Ce projet est en deux parties. La première partie porte sur le problème SAT : implémentation de stratégies de résolution, encodage (réduction) de problèmes NP-complets en SAT et résolution. La seconde partie porte sur les assistants de preuves. Il s’agit de construire une biblio- thèque de lemmes prouvés sur un domaine défini chaque année.