scientific article; zbMATH DE number 7650305

DOI10.4230/LIPICS.FSTTCS.2019.8MaRDI QIDQ5875640zbMATH OpenFDO

Authors Akanksha Agrawal, Arindam Biswas, Édouard Bonnet, Nick Brettell, Radu Curticapean, Dániel Marx, Tillmann Miltzow, Venkatesh Raman, Saket Saurabh

Publication date 3 February 2023

zbMATH Keywords

algorithmparameterSATefficientkernelizationspacestreamingparameterized\(d\)-SATMin-Ones

Mathematics Subject Classification ID

Online algorithms; streaming algorithms (68W27)

Cited in

(4)

• Streaming deletion problems parameterized by vertex cover
• Revisiting maximum satisfiability and related problems in data streams
• Revisiting maximum satisfiability and related problems in data streams
• Streaming deletion problems Parameterized by vertex cover

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875640)