Grant GA23-04825S
1.1.2023 - 31.12.2025
Grantor: Czech Science Foundation
Logic and unsatisfiability
Objectives:
We aim to show that increasing logical depth can decrease proof size; to improve logical characterizations of combinatorial proof systems and search problems, and vice versa; to show lower bounds on algebraic proof systems and systems from SAT solving; to develop mathematics over very weak axioms.
Main investigator:
IM team members:
|
Jeřábek Emil Part Fedor |
Pudlák Pavel |
Participating institutions:
Institute of Mathematics of the czech Academy of Sciences
Site map | Author | Webmaster
