Backdoors to q-Horn
From MaRDI portal
Publication:261394
DOI10.1007/s00453-014-9958-5zbMath1336.68126MaRDI QIDQ261394
Serge Gaspers, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh, Stefan Szeider
Publication date: 23 March 2016
Published in: Algorithmica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00453-014-9958-5
68Q25: Analysis of algorithms and problem complexity
03B05: Classical propositional logic
68P05: Data structures
Uses Software