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 investigates the feasibility of solving computational problems, particularly focusing on algorithms for proving logic formulas. It aims to enhance understanding of SAT solvers and their limitations in practical applications.
This project aims to explore the fundamental question in computer science and mathematics regarding what computational problems can feasibly be solved on a computer.
More specifically, we want to study algorithms for proving logic formulas as well as impossibility results for this problem.Proving formulas in propositional logic is a problem of immense importance both theoretically and practically.
On the one hand, this computational task is believed to be intractable in general, and deciding whe…
KUNGLIGA TEKNISKA HOEGSKOLAN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
