5 citations · 6 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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.LO2019
Formal verification of trading in financial markets
Suneel Sarswat, Abhishek Kr Singh
We introduce a formal framework for analyzing trades in financial markets. An exchange is where multiple buyers and sellers participate to trade. These days, all big exchanges use…