8 results on '"Subramani, K"'
Search Results
2. Copy complexity of Horn formulas with respect to unit read-once resolution
3. On the parametrized complexity of read-once refutations in UTVPI+ constraint systems
4. Analyzing fractional Horn constraint systems
5. Finding read-once resolution refutations in systems of 2CNF clauses
6. Feasibility checking in Horn constraint systems through a reduction based approach
7. On Clausal Equivalence and Hull Inclusion
8. On the complexity of quantified linear systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.