Kaspar Kasche
According to our database1,
Kaspar Kasche
authored at least 3 papers
in 2024.
Collaborative distances:
Collaborative distances:
Timeline
2024
0
1
2
3
4
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Polynomial Calculus for Quantified Boolean Logic: Lower Bounds through Circuits and Degree.
Electron. Colloquium Comput. Complex., 2024
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree.
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024