#Introduction
This project has been developed for my Final Project during my last year of Engineering in Ecole Polytechnique de l'Université de Tours.
I ask my teachers one year before to be able to work on this topic during my final project.
We set up, with Christophe Lenté, the goals of this project.
#Goals of this project
-
Study and resolution of the SATisfiability problem.
-
Bibliography and researchs about existing solvers.
-
Development of meta-heuristic to quickly find a solution (when it exists).
-
Benchmarks and setting of these meta-heuristics.
-
Add of technics to detect the unsatisfiability.
-
Benchmarks and comparaison with the existing solvers.
-
Use of polynomial reduction to solve NP-hard problems.
Having trouble with running this project ? Want to participate ?
Please, feel free to contact valentin.montmirail@gmail.com for more information.
- Report who explain this project (French)