( en | de | ru )

 

Disambiguation of "Subramani, K."

Author of the publication

copydeleteadd this publication to your clipboard
Erratum to: Analyzing restricted fragments of the theory of linear arithmetic.

, , and . Ann. Math. Artif. Intell., 79 (4): 371-392 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aman K K Bhasin

K Amann

K Dugaev

K Pillen

K Tittmann

 

Other publications of authors with the same name

A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints., and . Algorithmica, 81 (7): 2765-2794 (2019)On the Design and Implementation of a Shared Memory Dispatcher for Partially Clairvoyant Schedulers., and . Int. J. Parallel Program., 36 (4): 386-411 (2008)Finding read-once resolution refutations in systems of 2CNF clauses., , and . Theor. Comput. Sci., (2018)On the complexity of and solutions to the minimum stopping and trapping set problems., , and . Theor. Comput. Sci., (2022)Reachability problems in interval-constrained and cardinality-constrained graphs., , and . Discret. Math. Algorithms Appl., 15 (4): 2250110:1-2250110:26 (May 2023)Randomized algorithms for finding the shortest negative cost cycle in networks., , and . Discret. Appl. Math., (2018)Analyzing Read-Once Cutting Plane Proofs in Horn Systems., , and . J. Autom. Reason., 66 (2): 239-274 (2022)Optimal Deterministic Controller Synthesis from Steady-State Distributions., , , , and . J. Autom. Reason., 67 (1): 7 (March 2023)Distributed algorithms for partially clairvoyant dispatchers., , and . Clust. Comput., 11 (2): 115-131 (2008)A polyhedral projection procedure for Q2SAT.. Electron. Notes Discret. Math., (2001)