EPTCS 4 - ACAC 2009
Evangelos Markakis, Ioannis Milis (Eds.): Proceedings Fourth Athens Colloquium on Algorithms and Complexity. 2009 EPTCS 4 [ contents ]- Olga Tveretina, Carsten Sinz, Hans Zantema: An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. ... 13-21
- Alain Bretto, Yannick Silvestre, Thierry Vallée: Cartesian product of hypergraphs: properties and algorithms. ... 22-28
- Konstantinos Papalamprou, Leonidas S. Pitsoulis: Regular Matroids with Graphic Cocircuits. ... 29-41
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team