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

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2019.8

zbMATH Keywords

\(d\)-SATalgorithmefficientkernelizationMin-OnesparameterparameterizedSATspacestreaming

Mathematics Subject Classification ID

Online algorithms; streaming algorithms (68W27)

Cited in

(5)

• Streaming deletion problems parameterized by vertex cover
• 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
• Parameterized streaming algorithms for topological sorting

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)