Publication:5875640
From MaRDI portal
DOI10.4230/LIPIcs.FSTTCS.2019.8MaRDI QIDQ5875640
Saket Saurabh, Arindam Biswas, Venkatesh Raman, Dániel Marx, Édouard Bonnet, Tillmann Miltzow, Nick Brettell, Akanksha Agrawal, Radu Curticapean
Publication date: 3 February 2023
algorithm; parameter; SAT; efficient; kernelization; space; streaming; parameterized; \(d\)-SAT; Min-Ones
68W27: Online algorithms; streaming algorithms