Some Remarks on the Incompressibility of Width-Parameterized SAT Instances
From MaRDI portal
Publication:2897994
DOI10.1007/978-3-642-29700-7_18zbMath1304.68082OpenAlexW189831120MaRDI QIDQ2897994
Publication date: 16 July 2012
Published in: Frontiers in Algorithmics and Algorithmic Aspects in Information and Management (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-29700-7_18
This page was built for publication: Some Remarks on the Incompressibility of Width-Parameterized SAT Instances