23.6k citations
- Karlsruhe Institute of TechnologyDE16 papers
- European Organization for Nuclear ResearchCH5 papers
- Karlsruhe University of Applied SciencesDE5 papers
- Boise State UniversityUS4 papers
- RWTH Aachen UniversityDE4 papers
- University College LondonGB4 papers
- FZI Research Center for Information TechnologyDE3 papers
- Iowa State UniversityUS3 papers
- Massachusetts Institute of TechnologyUS3 papers
- Michigan State UniversityUS3 papers
- University of California, BerkeleyUS3 papers
- University of California, IrvineUS3 papers
Showing 2009Show all
3 papers · 1 filter
cs.CC2009★ 7 cited
An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas
Olga Tveretina, Carsten Sinz, Hans Zantema
Haken proved that every resolution refutation of the pigeonhole formula has at least exponential size. Groote and Zantema proved that a particular OBDD computation of the pigeonhol…
hep-ph2009★ 15 cited
Soft interactions in Herwig++
Manuel Bahr, Jonathan M. Butterworth, Stefan Gieseke +1
We describe the recent developments to extend the multi-parton interaction model of underlying events in Herwig++ into the soft, non-perturbative, regime. This allows the program t…
cs.DS2009★ 5 cited
Towards Optimal Range Medians
Beat Gfeller, Peter Sanders
We consider the following problem: given an unsorted array of elements, and a sequence of intervals in the array, compute the median in each of the subarrays defined by the int…