Stem combinator$ (all stems)

18 papers:

STOC-2015-ChanL #clustering #combinator #integer

Clustered Integer 3SUM via Additive Combinatorics (TMC, ML), pp. 31–40.

STOC-2014-AggarwalDL #combinator

Non-malleable codes from additive combinatorics (DA, YD, SL), pp. 774–783.

LATA-2014-DennunzioFM #combinator

Extremal Combinatorics of Reaction Systems (AD, EF, LM), pp. 297–307.

LICS-CSL-2014-BarceloM #combinator #graph #logic #word

Graph logics with rational relations: the role of word combinatorics (PB, PM), p. 10.

CIAA-J-2012-GocHS13 #automation #combinator #word

Automatic Theorem-Proving in Combinatorics on Words (DG, DH, JS), pp. 781–798.

ESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #named #testing

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.

AFL-J-2011-Blanchet-Sadri12 #algorithm #combinator #word

Algorithmic Combinatorics on Partial Words (FBS), pp. 1189–1206.

CIAA-2012-GocHS #automation #combinator #word

Automatic Theorem-Proving in Combinatorics on Words (DG, DH, JS), pp. 180–191.

DLT-J-2010-BrodaMMR11 #approach #automaton #combinator #complexity #on the

On the Average State Complexity of Partial derivative Automata: an analytic Combinatorics Approach (SB, AM, NM, RR), pp. 1593–1606.

ITiCSE-2008-Rubio-Sanchez #combinator #equivalence #problem

An introduction to problem equivalence with combinatorics (MRS), p. 313.

ICALP-A-2008-FominV #combinator

Treewidth Computation and Extremal Combinatorics (FVF, YV), pp. 210–221.

LICS-2007-HarmerHM #category theory #combinator

Categorical Combinatorics for Innocent Strategies (RH, MH, PAM), pp. 379–388.

SAT-2003-Kullmann #combinator

The Combinatorics of Conflicts between Clauses (OK), pp. 426–440.

ICALP-2001-FerencziHZ #combinator

Combinatorics of Three-Interval Exchanges (SF, CH, LQZ), pp. 567–578.

ICALP-2001-RivalsR #combinator #string

Combinatorics of Periods in Strings (ER, SR), pp. 615–626.

ICALP-2001-SadakaneTT #algorithm #combinator #sequence

Combinatorics and Algorithms on Low-Discrepancy Roundings of a Real Sequence (KS, NTC, TT), pp. 166–177.

STOC-1989-ChazelleEGS #algorithm #combinator

Lines in Space-Combinatorics, Algorithms and Applications (BC, HE, LJG, MS), pp. 382–393.

ICALP-1988-EdelsbrunnerGPPSS #algorithm #combinator

Arrangements of Curves in the Plane — Topology, Combinatorics, and Algorithms (HE, LJG, JP, RP, RS, MS), pp. 214–229.