1 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems (SC-square)
Date du début: 1 juil. 2016, Date de fin: 31 août 2018,
The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Whereas Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems, more recent developments in the area of Satisfiability Checking tackle similar problems but with different algorithmic and technological solutions. Though ...
Voir le projet