17 citations · 22 across the 8 of their papers we have counts for
Showing cs.DMShow all
2 papers · 1 filter
cs.DM2015
Hydras: Directed Hypergraphs and Horn Formulas
Robert H. Sloan, Despina Stasi, Gyorgy Turan
We introduce a new graph parameter, the hydra number, arising from the minimization problem for Horn formulas in propositional logic. The hydra number of a graph is the m…
cs.DM2015
Random Sampling in Computational Algebra: Helly Numbers and Violator Spaces
Jesús A. De Loera, Sonja Petrović, Despina Stasi
This paper transfers a randomized algorithm, originally used in geometric optimization, to computational problems in commutative algebra. We show that Clarkson's sampling algorithm…