Fixed-parameter tractability of satisfying beyond the number of variables
From MaRDI portal
Publication:528862
DOI10.1007/s00453-012-9697-4zbMath1360.68502arXiv1212.0106MaRDI QIDQ528862
Publication date: 17 May 2017
Published in: Algorithmica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1212.0106
68Q25: Analysis of algorithms and problem complexity