research
∙
04/17/2021
Verified Double Sided Auctions for Financial Markets
Double sided auctions are widely used in financial markets to match dema...
research
∙
12/04/2019
A Constructive Formalization of the Weak Perfect Graph Theorem
The Perfect Graph Theorems are important results in graph theory describ...
research
∙
12/28/2018