Search for European Projects

1 European Projects Found

Searched on 125080 European Projects

 FINISHED 
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 ...
Read Project

 11