5 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.GT2021
Verified Double Sided Auctions for Financial Markets
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
Double sided auctions are widely used in financial markets to match demand and supply. Prior works on double sided auctions have focused primarily on single quantity trade requests…
cs.LO2019★ 5 cited
A Constructive Formalization of the Weak Perfect Graph Theorem
Abhishek Kr Singh, Raja Natarajan
The Perfect Graph Theorems are important results in graph theory describing the relationship between clique number and chromatic number of a graph . A graph …
cs.LO2018
Towards a constructive formalization of Perfect Graph Theorems
Abhishek Kr Singh, Raja Natarajan
Interaction between clique number and chromatic number of a graph is a well studied topic in graph theory. Perfect Graph Theorems are probably the most important re…