ℹ️
🇬🇧
Search
Search for people relevant for "CNF"
CNF
Person
Class
Person
Publication
Programmes
Export current view
Erfan Khaniki Ph.D.
External person at Faculty of Mathematics and Physics
3 publications
Publications
publication
On Proof Complexity of Resolution over Polynomial Calculus
2022 |
Faculty of Mathematics and Physics
publication
Not all Kripke models of HA are locally PA
2022 |
Faculty of Mathematics and Physics
publication
Nisan-Wigderson generators in proof complexity: new lower bounds
2022 |
Faculty of Mathematics and Physics
Loading network view...
