Publication:2957872
From MaRDI portal
DOI10.4230/LIPIcs.STACS.2013.67zbMath1354.68123MaRDI QIDQ2957872
Serge Gaspers, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh, Stefan Szeider
Publication date: 30 January 2017
68Q25: Analysis of algorithms and problem complexity
03B05: Classical propositional logic
68P05: Data structures