×

Found 36 Documents (Results 1–36)

Symbolic coloured SCC decomposition. (English) Zbl 1474.68210

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 64-83 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Properly colored and rainbow copies of graphs with few cherries. (English) Zbl 1346.05184

Nešetril, Jaroslav (ed.) et al., Extended abstracts of the eight European conference on combinatorics, graph theory and applications, EuroComb 2015, Bergen, Norway, August 31 – September 4, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 49, 315-321, electronic only (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Properly coloured cycles and paths: Results and open problems. (English) Zbl 1194.05040

Lipshteyn, Marina (ed.) et al., Graph theory, computational intelligence and thought. Essays dedicated to Martin Charles Golumbic on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-02028-5/pbk). Lecture Notes in Computer Science 5420, 200-208 (2009).
MSC:  05C15 05C38
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software