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.
Links: [Google] [Google Scholar]

Publications