Projects funded by the NCN
Modular circuits - algorithms and lower bounds
2021/41/N/ST6/03907
Keywords:
modular circuits satisfiability equations algorithms lower bounds,
Descriptors:
- ST6_006:
- ST6_004:
- ST1_002:
Panel:
ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution :
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
woj. małopolskie
Principal investigator (from the host institution):
Number of co-investigators in the project: 2
Call: PRELUDIUM 20 - announced on 2021-03-15
Amount awarded: 131 846 PLN
Project start date (Y-m-d): 2022-02-07
Project end date (Y-m-d): 2025-02-06
Project duration:: 36 months (the same as in the proposal)
Project status: Project completed
Project description
Download the project description in a pdf file
Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Information in the final report
Publications will be made available after the final report has been accepted.