Source: http://web.univ-pau.fr/RECHERCHE/SET/Master/Plaquettes/Master-rech-SAT.pdf