Sciweavers

433 search results - page 1 / 87
» Generalized Ham-Sandwich Cuts
Sort
View
DCG
2010
64views more  DCG 2010»
13 years 5 months ago
Generalized Ham-Sandwich Cuts
William Steiger, Jihui Zhao
CCCG
1993
13 years 7 months ago
Algorithms for Ham Sandwich Cuts
Given disjoint sets P1 P2 : : : Pd in R d with n points in total, a ham-sandwich cut is a hyperplane that simultaneously bisects the Pi. We present algorithms for nding
William L. Steiger
ORL
2010
56views more  ORL 2010»
13 years 4 months ago
On interval-subgradient and no-good cuts
Interval-gradient cuts are (nonlinear) valid inequalities for nonconvex NLPs defined for constraints g(x) ≤ 0 with g being continuously differentiable in a box [x, ¯x]. In th...
Claudia D'Ambrosio, Antonio Frangioni, Leo Liberti...
RTA
2007
Springer
13 years 12 months ago
A Simple Proof That Super-Consistency Implies Cut Elimination
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
Gilles Dowek, Olivier Hermant