K. Subramani
West Virginia University
H-index: 18
North America-United States
Top articles of K. Subramani
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Arc-dependent networks: theoretical insights and a computational study | Annals of Operations Research | Alvaro Velasquez P Wojciechowski K Subramani Matthew Williamson | 2024/4/9 |
On the Partial Vertex Cover Problem in Bipartite Graphs-a Parameterized Perspective | Theory of Computing Systems | Vahan Mkrtchyan Garik Petrosyan K Subramani Piotr Wojciechowski | 2024/2 |
Priority-based bin packing with subset constraints | Discrete Applied Mathematics | Piotr Wojciechowski K Subramani Alvaro Velasquez Bugra Caskurlu | 2024/1/15 |
Farkas Bounds on Horn Constraint Systems | Theory of Computing Systems | K Subramani Piotr Wojciechowki Alvaro Velasquez | 2024/1/6 |
Proving the infeasibility of Horn formulas through read-once resolution | Discrete Applied Mathematics | Piotr Wojciechowski K Subramani | 2023/2/17 |
Approximation Algorithms for Partial Vertex Covers in Trees | International Journal of Foundations of Computer Science | Vahan Mkrtchyan Ojas Parekh K Subramani | 2023/6/28 |
Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints | K Subramani Piotr Wojciechowski | 2023/12/9 | |
Integer feasibility and refutations in UTVPI constraints using bit-scaling | Algorithmica | K Subramani Piotr Wojciechowski | 2023/2 |
Reachability problems in interval-constrained and cardinality-constrained graphs | Discrete Mathematics, Algorithms and Applications | Alvaro Velasquez K Subramani Piotr Wojciechowski | 2023/5/11 |
Differentiable Discrete Optimization Using Dataless Neural Networks | Sangram K Jena K Subramani Alvaro Velasquez | 2023/12/9 | |
Unit Refutations of Difference Constraint Systems | K Subramani Piotr Wojciechowski | 2023 | |
Reachability in choice networks | Discrete Optimization | Piotr Wojciechowski K Subramani Alvaro Velasquez | 2023/5/1 |
Optimal length cutting plane refutations of integer programs | Discrete Optimization | K Subramani Piotr Wojciechowski | 2023/11/1 |
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective | Mathematical Structures in Computer Science | K Subramani Piotr Wojciechowski | 2023 |
The Octatope Abstract Domain for Verification of Neural Networks | Stanley Bak Taylor Dohmen K Subramani Ashutosh Trivedi Alvaro Velasquez | 2023/3/3 | |
Security-Aware Database Migration Planning | Constraints | Utku Umur Acikalin Bugra Caskurlu K Subramani | 2023/9 |
A Faster Algorithm for Determining the Linear Feasibility of Systems of BTVPI Constraints | Piotr Wojciechowski K Subramani | 2023/1/1 | |
Optimal Deterministic Controller Synthesis from Steady-State Distributions | Journal of Automated Reasoning | Alvaro Velasquez Ismail Alkhouri K Subramani Piotr Wojciechowski George Atia | 2023/3 |
Unit Read-once Refutations for Systems of Difference Constraints | Theory of Computing Systems | K Subramani P Wojciechowski | 2023/8 |
Read-once refutations in Horn constraint systems: an algorithmic approach | Journal of Logic and Computation | K Subramani Piotr Wojciechowski Ying Sheng | 2022/6 |