×

Found 404 Documents (Results 1–100)

Independent set under a change constraint from an initial solution. (English) Zbl 07745697

Mavronicolas, Marios (ed.), Algorithms and complexity. 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13898, 37-51 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Grounding game semantics in categorical algebra. (English) Zbl 07804593

Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 368-383 (2022).
PDFBibTeX XMLCite
Full Text: arXiv Link

Variable binding and substitution for (nameless) dummies. (English) Zbl 07793039

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 389-408 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

What makes a strong monad? (English) Zbl 07779295

Gibbons, Jeremy (ed.) et al., Proceedings of the ninth workshop on mathematically structured functional programming, MSFP 2022, Munich, Germany, April 2, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 360, 113-133 (2022).
MSC:  68-XX 18-XX
PDFBibTeX XMLCite
Full Text: arXiv Link

Structured handling of scoped effects. (English) Zbl 1528.68088

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 462-491 (2022).
MSC:  68N30 18C50 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

On streaming algorithms for geometric independent set and clique. (English) Zbl 07717065

Chalermsook, Parinya (ed.) et al., Approximation and online algorithms. 20th international workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13538, 211-224 (2022).
MSC:  68W25 68W27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Classifying subset feedback vertex set for \(H\)-free graphs. (English) Zbl 07682426

Bekos, Michael A. (ed.) et al., Graph-theoretic concepts in computer science. 48th international workshop, WG 2022, Tübingen, Germany, June 22–24, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13453, 412-424 (2022).
MSC:  68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Corecursion up-to via causal transformations. (English) Zbl 07628070

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 133-154 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Using edge contractions and vertex deletions to reduce the independence number and the clique number. (English) Zbl 07577715

Bazgan, Cristina (ed.) et al., Combinatorial algorithms. 33rd international workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13270, 412-424 (2022).
MSC:  68Rxx 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finding geometric representations of apex graphs is NP-hard. (English) Zbl 07556569

Mutzel, Petra (ed.) et al., WALCOM: algorithms and computation. 16th international conference and workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13174, 161-174 (2022).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parameterized complexity of finding subgraphs with hereditary properties on hereditary graph classes. (English) Zbl 07530235

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 217-229 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Some aspects of the database resilience. (English) Zbl 07500636

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 39-46 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Large clique is hard on average for resolution. (English) Zbl 07493542

Santhanam, Rahul (ed.) et al., Computer science – theory and applications. 16th international computer science symposium in Russia, CSR 2021, Sochi, Russia, June 28 – July 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12730, 361-380 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Logical complexity of induced subgraph isomorphism for certain families of graphs. (English. Russian original) Zbl 1468.05189

Sb. Math. 212, No. 4, 517-530 (2021); translation from Mat. Sb. 212, No. 4, 76-90 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Length-bounded cuts: proper interval graphs and structural parameters. (English) Zbl 07765394

Cao, Yixin (ed.) et al., 31st international symposium on algorithms and computation, ISAAC 2020, Hong Kong, China, virtual conference, December 14–18, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 181, Article 36, 14 p. (2020).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

How to cut a ball without separating: improved approximations for length bounded cut. (English) Zbl 07758343

Byrka, Jarosław (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 23rd international conference, APPROX 2020, and 24th international conference, RANDOM 2020, August 17–19, 2020, Virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 176, Article 41, 17 p. (2020).
MSC:  68W20 68W25 90C27
PDFBibTeX XMLCite
Full Text: DOI

An algorithmic weakening of the Erdő’s-Hajnal conjecture. (English) Zbl 07651162

Grandoni, Fabrizio (ed.) et al., 28th annual European symposium on algorithms. ESA 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 173, Article 23, 18 p. (2020).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finding small satisfying assignments faster than brute force: a fine-grained perspective into Boolean constraint satisfaction. (English) Zbl 07561755

Saraf, Shubhangi (ed.), 35th computational complexity conference, CCC 2020, July 28–31, 2020, Saarbrücken, Germany, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 169, Article 27, 28 p. (2020).
MSC:  68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

A duality theoretic view on limits of finite structures. (English) Zbl 07250944

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 299-318 (2020).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Contextual equivalence for signal flow graphs. (English) Zbl 07250933

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 77-96 (2020).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference