Login / Signup
Vaibhav Karve
ORCID
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 5
Top Topics
Unsatisfiable Cores
Travel Time
Traffic Flows
Bayesian Decision Problems
Top Venues
CoRR
ITSC
Discret. Appl. Math.
</>
Publications
</>
Vaibhav Karve
,
Anil N. Hirani
GraphSAT - a decision problem connecting satisfiability and graph theory.
CoRR
(2021)
Vaibhav Karve
,
Anil N. Hirani
The complete set of minimal simple graphs that support unsatisfiable 2-CNFs.
Discret. Appl. Math.
283 (2020)
Vaibhav Karve
,
Anil N. Hirani
The complete set of minimal simple graphs that support unsatisfiable 2-CNFs.
CoRR
(2018)
Yu Wu
,
Gabriel Shindnes
,
Vaibhav Karve
,
Derrek Yager
,
Daniel B. Work
,
Arnab Chakraborty
,
Richard B. Sowers
Congestion barcodes: Exploring the topology of urban congestion using persistent homology.
ITSC
(2017)
Yu Wu
,
Gabriel Shindnes
,
Vaibhav Karve
,
Derrek Yager
,
Daniel B. Work
,
Arnab Chakraborty
,
Richard B. Sowers
Congestion Barcodes: Exploring the Topology of Urban Congestion Using Persistent Homology.
CoRR
(2017)