Vaibhav Karve

According to our database, Vaibhav Karve authored at least 3 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

GraphSAT - a decision problem connecting satisfiability and graph theory.

Vaibhav Karve, Anil N. Hirani

CoRR, 2021

2020

The complete set of minimal simple graphs that support unsatisfiable 2-CNFs.

Vaibhav Karve, Anil N. Hirani

Discret. Appl. Math., 2020

2017

Congestion barcodes: Exploring the topology of urban congestion using persistent homology.

Yu Wu, Gabriel Shindnes, Vaibhav Karve, Derrek Yager, Daniel B. Work, Arnab Chakraborty, Richard B. Sowers

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017