Login / Signup
Anannya Upasana
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 6
Top Topics
Boolean Constraints
Computational Complexity
Global Constraints
Max Sat
Top Venues
CoRR
ICALP
ITCS
LATIN (2)
</>
Publications
</>
Tanmay Inamdar
,
Pallavi Jain
,
Daniel Lokshtanov
,
Abhishek Sahu
,
Saket Saurabh
,
Anannya Upasana
Satisfiability to Coverage in Presence of Fairness, Matroid, and Global Constraints.
CoRR
(2024)
Pallavi Jain
,
Lawqueen Kanesh
,
Fahad Panolan
,
Souvik Saha
,
Abhishek Sahu
,
Saket Saurabh
,
Anannya Upasana
Max-SAT with Cardinality Constraint Parameterized by the Number of Clauses.
LATIN (2)
(2024)
Tanmay Inamdar
,
Pallavi Jain
,
Daniel Lokshtanov
,
Abhishek Sahu
,
Saket Saurabh
,
Anannya Upasana
Satisfiability to Coverage in Presence of Fairness, Matroid, and Global Constraints.
ICALP
(2024)
Pallavi Jain
,
Lawqueen Kanesh
,
Fahad Panolan
,
Souvik Saha
,
Abhishek Sahu
,
Saket Saurabh
,
Anannya Upasana
-Weight SAT and Max Coverage.
SODA
(2023)
Anup Bhattacharya
,
Arijit Bishnu
,
Gopinath Mishra
,
Anannya Upasana
Even the Easiest(?) Graph Coloring Problem Is Not Easy in Streaming!
ITCS
(2021)
Anup Bhattacharya
,
Arijit Bishnu
,
Gopinath Mishra
,
Anannya Upasana
Even the Easiest(?) Graph Coloring Problem is not Easy in Streaming!
CoRR
(2020)