www.prismmodelchecker.org
[Knu76] D.E. Knuth. Mariages stable et leurs relations avec d'autres problemes combinatoires. Les Presses de l'Universie de Monteal. 1976.

Publications