CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project aims to bridge the gap between Symbolic Computation and Satisfiability Checking communities to enhance their collaboration. By creating common platforms and standards, the project seeks to improve software tools for solving complex mathematical problems relevant to various practical applications, including…
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 both communities have made remarkable progress in the last decades, they still need to be strengthen…
UNIVERSITY OF BATH
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Germany, Aachen
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Italy, Genova
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
United Kingdom, London
Type: Company (for-profit)
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
