Anudhyan Boral

From MaRDI portal
(Redirected from Person:255281)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Model-checking parse trees
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
2017-07-03Paper
A fast branching algorithm for cluster vertex deletion
Theory of Computing Systems
2016-03-09Paper
A fast branching algorithm for cluster vertex deletion
Computer Science - Theory and Applications
2014-06-24Paper


Research outcomes over time


This page was built for person: Anudhyan Boral