Author: "Subramani, K" / Journal: journal of automated reasoning - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Subramani, K"' showing total 5 results

Start Over Author "Subramani, K" Journal journal of automated reasoning

5 results on '"Subramani, K"'

1. Analyzing Read-Once Cutting Plane Proofs in Horn Systems

Author: Wojciechowski, Piotr, Subramani, K., and Chandrasekaran, R.
Published: 2022
Full Text: View/download PDF

2. Optimal Deterministic Controller Synthesis from Steady-State Distributions

Author: Velasquez, Alvaro, Alkhouri, Ismail, Subramani, K., Wojciechowski, Piotr, and Atia, George
Published: 2023
Full Text: View/download PDF

3. Optimal Length Resolution Refutations of Difference Constraint Systems

Author: Subramani, K.
Published: 2009
Full Text: View/download PDF

4. Boolean Functions as Models for Quantified Boolean Formulas

Author: Kleine Büning, Hans, Subramani, K., and Zhao, Xishun
Published: 2007
Full Text: View/download PDF

5. Boolean Functions as Models for Quantified Boolean Formulas

Author: Büning, Hans Kleine, Subramani, K., and Zhao, Xishun
Published: 2007

Catalog

Books, media, physical & digital resources

See catalog results