94 citations · 361 across the 25 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.CO2018
The complete set of minimal simple graphs that support unsatisfiable 2-CNFs
Vaibhav Karve, Anil N. Hirani
A propositional logic sentence in conjunctive normal form that has clauses of length two (a 2-CNF) can be associated with a multigraph in which the vertices correspond to the varia…
math.NA2018
Numerical Convergence of Discrete Exterior Calculus on Arbitrary Surface Meshes
Mamdouh S. Mohamed, Anil N. Hirani, Ravi Samtaney
Discrete exterior calculus (DEC) is a structure-preserving numerical framework for partial differential equations solution, particularly suitable for simplicial meshes. A longstand…