Fixed-Parameter Tractability of Satisfying beyond the Number of Variables

DOI10.1007/978-3-642-31612-8_27zbMath1273.68161OpenAlexW1490010027MaRDI QIDQ2843339

No author found.

Publication date: 12 August 2013

Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31612-8_27

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

This page was built for publication: Fixed-Parameter Tractability of Satisfying beyond the Number of Variables