Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer.

Alain Lichnewsky, Franois Thomasset

Browse the full ICS paper archive.