Keyword:parameterized complexity

Publications
On the Hierarchical Community Structure of Practical SAT Formulas Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu and Vijay Ganesh EasyChair Preprint 5949
MIDAS: Multilinear Detection at Scale Saliya Ekanayake, Jose Cadena, Udayanga Wickramasinghe and Anil Kumar Vullikanti EasyChair Preprint 237