Parameterized streaming algorithms for Min-Ones d-SAT

Akanksha Agrawal; Biswas; Bonnet; Brettell; Curticapean; Marx; T. Miltzow; Raman; Saurabh

Parameterized streaming algorithms for Min-Ones d-SAT

Akanksha Agrawal, Biswas, Bonnet, Brettell, Curticapean, Marx, T. Miltzow, Raman, Saurabh

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019)
Editors	Arkadev Chattopadhyay, Paul Gastin
Place of Publication	Wadern
Publisher	Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
ISBN (Print)	9783959771313
Publication status	Published - 2019

Publication series

Name	LIPIcs - Leibniz International Proceedings in Informatics
Volume	150

Cite this

Agrawal, A., Biswas, Bonnet, Brettell, Curticapean, Marx, Miltzow, T., Raman, & Saurabh (2019). Parameterized streaming algorithms for Min-Ones d-SAT. In A. Chattopadhyay, & P. Gastin (Eds.), 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) (LIPIcs - Leibniz International Proceedings in Informatics; Vol. 150). Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH.

Agrawal, Akanksha ; Biswas ; Bonnet et al. / Parameterized streaming algorithms for Min-Ones d-SAT. 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019). editor / Arkadev Chattopadhyay ; Paul Gastin. Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, 2019. (LIPIcs - Leibniz International Proceedings in Informatics).

@inproceedings{d3ec588cc8eb4348800b8e2fdd6ee72f,

title = "Parameterized streaming algorithms for Min-Ones d-SAT",

author = "Akanksha Agrawal and Biswas and Bonnet and Brettell and Curticapean and Marx and T. Miltzow and Raman and Saurabh",

note = "FSTTCS 2019, December 11-13, 2019, Bombay, India.",

year = "2019",

language = "English",

isbn = "9783959771313",

series = "LIPIcs - Leibniz International Proceedings in Informatics",

publisher = "Schloss Dagstuhl – Leibniz-Zentrum f{\"u}r Informatik GmbH",

editor = "Arkadev Chattopadhyay and Paul Gastin",

booktitle = "39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019)",

}

Agrawal, A, Biswas, Bonnet, Brettell, Curticapean, Marx, , Miltzow, T, Raman & Saurabh 2019, Parameterized streaming algorithms for Min-Ones d-SAT. in A Chattopadhyay & P Gastin (eds), 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019). LIPIcs - Leibniz International Proceedings in Informatics, vol. 150, Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Wadern.

Parameterized streaming algorithms for Min-Ones d-SAT. / Agrawal, Akanksha; Biswas; Bonnet et al.
39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019). ed. / Arkadev Chattopadhyay; Paul Gastin. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, 2019. (LIPIcs - Leibniz International Proceedings in Informatics; Vol. 150).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Parameterized streaming algorithms for Min-Ones d-SAT

AU - Agrawal, Akanksha

AU - Biswas,

AU - Bonnet,

AU - Brettell,

AU - Curticapean,

AU - Marx,

AU - Miltzow, T.

AU - Raman,

AU - Saurabh,

N1 - FSTTCS 2019, December 11-13, 2019, Bombay, India.

PY - 2019

Y1 - 2019

M3 - Conference contribution

SN - 9783959771313

T3 - LIPIcs - Leibniz International Proceedings in Informatics

BT - 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019)

A2 - Chattopadhyay, Arkadev

A2 - Gastin, Paul

PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH

CY - Wadern

ER -

Agrawal A, Biswas, Bonnet, Brettell, Curticapean, Marx et al. Parameterized streaming algorithms for Min-Ones d-SAT. In Chattopadhyay A, Gastin P, editors, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019). Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH. 2019. (LIPIcs - Leibniz International Proceedings in Informatics).