10 results on '"Subramani, K"'
Search Results
2. Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
3. On integer closure in a system of unit two variable per inequality constraints
4. Erratum to: Analyzing restricted fragments of the theory of linear arithmetic
5. Analyzing restricted fragments of the theory of linear arithmetic
6. On quantified linear implications
7. Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
8. On a decision procedure for quantified linear programs
9. Analyzing restricted fragments of the theory of linear arithmetic
10. On quantified linear implications
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.