Volume 1, Number 1, February 2009
Volume 1, Number 2, September 2009
Volume 1, Number 3, March 2010
Last update Thu May 23 16:06:20 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Jan Kyncl, Tomás Vyskocil:
Logspace Reduction of Directed Reachability for Bounded Genus Graphs to the Planar Case.
- Paul Beame, Russell Impagliazzo, Toniann Pitassi, Nathan Segerlind:
Formula Caching in DPLL.
- Samir Datta, Raghav Kulkarni, Nutan Limaye, Meena Mahajan:
Planarity, Determinants, Permanents, and (Unique) Matchings.