Alexander Knop

MaRDI QIDQ1635509zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Adversarial manifold estimation Foundations of Computational Mathematics	2024-02-23	Paper
Statistical query complexity of manifold estimation Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing	2023-11-14	Paper
Log-rank and lifting for AND-functions Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing	2023-11-14	Paper
scientific article; zbMATH DE number 7650825 (Why is no real title available?) (available as arXiv preprint)	2023-02-07	Paper
Lower Bounds on OBDD Proofs with Several Orders ACM Transactions on Computational Logic	2022-12-08	Paper
ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES Journal of Symbolic Logic	2021-01-29	Paper
scientific article; zbMATH DE number 7250156 (Why is no real title available?)	2020-09-22	Paper
Proof complexity of systems of (non-deterministic) decision trees and branching programs (available as arXiv preprint)	2019-10-18	Paper
Strategies for stable merge sorting Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms	2019-10-15	Paper
On the limits of gate elimination Journal of Computer and System Sciences	2018-06-06	Paper
On OBDD-based algorithms and proof systems that dynamically change order of variables	2018-04-19	Paper
Complexity of distributions and average-case hardness	2018-04-19	Paper
On the limits of gate elimination	2018-03-21	Paper
Hard satisfiable formulas for splittings by linear combinations	2017-11-15	Paper
Heuristic time hierarchies via hierarchies for sampling distributions Algorithms and Computation	2016-01-11	Paper
Circuit lower bounds for average-case MA Lecture Notes in Computer Science	2015-10-20	Paper

Research outcomes over time

This page was built for person: Alexander Knop