Nathan Segerlind
According to our database1,
Nathan Segerlind
authored at least 15 papers
between 2001 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Exponential Lower Bounds and Integrality Gaps for Tree-Like Lovász-Schrijver Procedures.
SIAM J. Comput., 2012
2007
Lower Bounds for Lov[a-acute]sz--Schrijver Systems and Beyond Follow from Multiparty Communication Complexity.
SIAM J. Comput., 2007
On the relative efficiency of resolution-like proofs and ordered binary decision diagram proofs.
Electron. Colloquium Comput. Complex., 2007
Nearly-Exponential Size Lower Bounds for Symbolic Quantifier Elimination Algorithms and OBDD-Based Proofs of Unsatisfiability.
Electron. Colloquium Comput. Complex., 2007
2006
Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations.
ACM Trans. Comput. Log., 2006
A Strong Direct Product Theorem for Corruption and the Multiparty Communication Complexity of Disjointness.
Comput. Complex., 2006
2005
Exponential separation between Res(<i>k</i>) and Res(<i>k</i>+1) for <i>k</i> leq varepsilonlog<i>n</i>.
Inf. Process. Lett., 2005
Lower bounds for Lovasz-Schrijver systems and beyond follow from multiparty communication complexity
Electron. Colloquium Comput. Complex., 2005
A Direct Sum Theorem for Corruption and the Multiparty NOF Communication Complexity of Set Disjointness.
Proceedings of the 20th Annual IEEE Conference on Computational Complexity (CCC 2005), 2005
2004
SIAM J. Comput., 2004
2003
Proceedings of the 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 2003
2002
Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
2001
Proceedings of the 42nd Annual Symposium on Foundations of Computer Science, 2001