Results 121 to 123 of about 467 (123)
Some of the next articles are maybe not open access.
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth
2023Amir Kafshdar Goharshady +1 more
openaire +1 more source
How Much Does a Treedepth Modulator Help to Obtain Polynomial Kernels Beyond Sparse Graphs?
Algorithmica, 2018Ignasi Sau, Marin Bougeret
exaly
Brief Announcement: Distributed Model Checking on Graphs of Bounded Treedepth
Proceedings of the 43rd ACM Symposium on Principles of Distributed ComputingFedor V. Fomin +4 more
openaire +1 more source