
azove
 Referenced in 11 articles
[sw04634]
 problems raises the following tasks: count or enumerate the feasible solutions and find an optimal ... which is a tool for counting and enumerating $0/1$ points. Computational results on benchmarks from...

Mercator
 Referenced in 15 articles
[sw13198]
 well‐documented in the literature. We enumerate the major components of any scalable Web crawler...

Tame Graphs
 Referenced in 14 articles
[sw28578]
 Tame Graphs. These theories present the verified enumeration of tame plane graphs as defined...

01poly
 Referenced in 13 articles
[sw14281]
 search in a database generated by complete enumeration. For more information see my publication...

TeMP
 Referenced in 12 articles
[sw09989]
 formulae of this logic is not recursively enumerable. However, the set of valid monodic formulae...

CaTS
 Referenced in 6 articles
[sw08112]
 software package whose main functions enumerate (1) all reduced Groebner bases of a lattice ideal ... given one. Several variants of these enumeration algorithms are supported such as restricting the above ... enumerations to all initial ideals or monomial Agraded ideals with a fixed radical. CaTS...

Adinkras
 Referenced in 7 articles
[sw09383]
 these problems. Original results include the enumeration of all hypercube adinkras through dimension ... enumeration of odd dashings of Adinkras for any dimension, and a connection between rankings...

bs3np
 Referenced in 7 articles
[sw25701]
 Enumeration of bilaterally symmetric 3noncrossing partitions. Schützenberger’s theorem for the ordinary RSK correspondence ... package for 2dimensional vacillating lattice walk enumeration problems. As an application, we find...

KIDS
 Referenced in 10 articles
[sw15441]
 traces the derivation of an algorithm for enumerating solutions to the kqueens problem...

AdinKingRoichman
 Referenced in 9 articles
[sw11417]
 Maple package inspired by the fascinating article ”Enumeration of standard Young tableaux of certain truncated...

TiGERS
 Referenced in 9 articles
[sw12585]
 Groebner fan of a toric ideal by enumerating the edge graph of its state polytope...

PEBBL
 Referenced in 9 articles
[sw13809]
 scalable parallel branch and bound. Parallel Enumeration and BranchandBound Library (PEBBL...

Elizalde
 Referenced in 5 articles
[sw07578]
 Automatic generation of theorems and proofs on enumerating consecutiveWilf classes This article describes ... complementary approaches to enumeration, the positive and the negative, each with its advantages and disadvantages ... Sergi Elizalde and Marc Noy, of enumerating consecutiveWilf classes (i.e. consecutive patternavoidance...

Sergi
 Referenced in 5 articles
[sw07579]
 Automatic generation of theorems and proofs on enumerating consecutiveWilf classes This article describes ... complementary approaches to enumeration, the positive and the negative, each with its advantages and disadvantages ... Sergi Elizalde and Marc Noy, of enumerating consecutiveWilf classes (i.e. consecutive patternavoidance...

Kaleido
 Referenced in 8 articles
[sw05940]
 hereafter cited as [CLM]) provided a complete enumeration of the uniform polyhedra, together with...

orb
 Referenced in 8 articles
[sw07720]
 package orb. The orb package is about enumerating orbits in various ways...

RotaStanley
 Referenced in 5 articles
[sw11416]
 GianCarlo Rota’s Umbral Calculus to enumerate Richard Stanley’s PPartitions. It accompanies ... article ”Using Rota’s Umbral calculus to enumerate Stanley’s Ppartitions” (Posted June...

COBBLER
 Referenced in 3 articles
[sw26973]
 COBBLER: Combining Column and Row Enumeration for Closed Pattern Discovery. The problem of mining frequent ... separated into two groups,feature (column) enumeration and row enumeration. Featureenumeration algorithms like CHARM ... feature combinations to beenumerated is small. Row enumeration algorithms like CARPENTERon the other hand ... dynamically switch between feature enumerationand row enumeration depending on the data characteristic inthe process...

SFCGen
 Referenced in 6 articles
[sw00852]
 specification table, a universal turtle algorithm to enumerate points along a spacefilling curve...

WFSC
 Referenced in 6 articles
[sw02802]
 user interface, either from an enumeration of their states and transitions or from rational expressions...