Synthesis of ranking functions using extremal counterexamples Laure Gonnord, David Monniaux, Gabriel Radanne To cite this version: Laure Gonnord, David Monniaux, Gabriel Radanne. Synthesis of ranking functions using extr

First Page		Document Content
Date: 2018-08-15 05:29:41		Synthesis of ranking functions using extremal counterexamples Laure Gonnord, David Monniaux, Gabriel Radanne To cite this version: Laure Gonnord, David Monniaux, Gabriel Radanne. Synthesis of ranking functions using extr Add to Reading List Source URL: hal.archives-ouvertes.fr Download Document from Source Website File Size: 963,50 KB Share Document on Facebook