×

Found 24 Documents (Results 1–24)

NP-completeness, proof systems, and disjoint NP-pairs. (English) Zbl 07650894

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 9, 18 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

LP-based algorithms for computing maximum vertex-disjoint paths with different colors. (English) Zbl 07636428

Chen, Jianer (ed.) et al., Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12337, 107-118 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

On finding shortest paths in arc-dependent networks. (English) Zbl 1458.90628

Baïou, Mourad (ed.) et al., Combinatorial optimization. 6th international symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12176, 249-260 (2020).
MSC:  90C35
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

Software