×

Found 30 Documents (Results 1–30)

Computing shrub-depth decompositions. (English) Zbl 07650941

Paul, Christophe (ed.) et al., 37th international symposium on theoretical aspects of computer science, STACS 2020, Montpellier, France, March 10–13, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 154, Article 56, 17 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Recovering sparse graphs. (English) Zbl 1512.68152

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 29, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

First-order interpretations of bounded expansion classes. (English) Zbl 1499.68202

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 126, 14 p. (2018).
MSC:  68Q60 03B70 05C75
PDFBibTeX XMLCite
Full Text: DOI

Parameterized shifted combinatorial optimization. (English) Zbl 1434.90167

Cao, Yixin (ed.) et al., Computing and combinatorics. 23rd international conference, COCOON 2017, Hong Kong, China, August 3–5, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10392, 224-236 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A new perspective on FO model checking of dense graph classes. (English) Zbl 1401.68196

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 176-184 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parameterized algorithms for parity games. (English) Zbl 1465.68112

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9235, 336-347 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

Finite integer index of pathwidth and treewidth. (English) Zbl 1456.68129

Cygan, Marek (ed.) et al., Parameterized and exact computation. 9th international symposium, IPEC 2014, Wroclaw, Poland, September 10–12, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8894, 258-269 (2014).
MSC:  68R10 05C12 68Q27
PDFBibTeX XMLCite
Full Text: DOI

Faster existential FO model checking on posets. (English) Zbl 1433.68216

Ahn, Hee-Kap (ed.) et al., Algorithms and computation. 25th international symposium, ISAAC 2014, Jeonju, Korea, December 15–17, 2014. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8889, 441-451 (2014).
MSC:  68Q60 68Q27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parameterized algorithms for modular-width. (English) Zbl 1406.68080

Gutin, Gregory (ed.) et al., Parameterized and exact computation. 8th international symposium, IPEC 2013, Sophia Antipolis, France, September 4–6, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-319-03897-1/pbk). Lecture Notes in Computer Science 8246, 163-176 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Kernelization using structural parameters on sparse graph classes. (English) Zbl 1353.68126

Bodlaender, Hans L. (ed.) et al., Algorithms – ESA 2013. 21st annual European symposium, Sophia Antipolis, France, September 2–4, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40449-8/pbk). Lecture Notes in Computer Science 8125, 529-540 (2013).
MSC:  68Q25 05C85
PDFBibTeX XMLCite
Full Text: DOI Link

Faster deciding MSO properties of trees of fixed height, and some consequences. (English) Zbl 1354.68122

D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 112-123 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field