https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/00442
Forschungstreffen 00442: IFM'2000, the Second International Conference on Integrated Formal Methods
the second
https://arxiv.org/abs/1605.00442
[1605.00442] Token Sliding on Chordal Graphs
Abstract page for arXiv paper 1605.00442: Token Sliding on Chordal Graphs
160500442tokenslidingchordal