
CliqueTop
 Referenced in 18 articles
[sw29766]
 clique splitting version of the clique enumeration algorithm, a C package by Sampo Niskanen...

azove
 Referenced in 12 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...

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

TABARIS
 Referenced in 16 articles
[sw02534]
 presented. It consists of an implicit enumeration procedure; the procedure uses at various stages bounds...

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

TEIRESIAS
 Referenced in 16 articles
[sw35978]
 very efficient by avoiding the enumeration of the entire pattern space. Furthermore, the reported patterns...

Adinkras
 Referenced in 11 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...

RSPLINE
 Referenced in 11 articles
[sw29802]
 search with piecewiselinear interpolation and neighborhood enumeration. We consider simulationoptimization (SO) models where ... PiecewiseLinear Interpolation and a discrete Neighborhood Enumeration, to asymptotically identify a local minimum...

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

2L_enum
 Referenced in 8 articles
[sw31753]
 Enumeration of 2level polytopes. A (convex) polytope P is said to be 2level ... paper, we present the first algorithm for enumerating all combinatorial types of 2level polytopes ... dimensional 2level polytope 𝑃0 , we enumerate all ddimensional 2level polytopes P that ... facet. This relies on the enumeration of the closed sets of a closure operator over...

CaTS
 Referenced in 8 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...

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

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

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

mplrs
 Referenced in 6 articles
[sw21787]
 mplrs: A scalable parallel vertex/facet enumeration code We describe a new parallel implementation, mplrs ... vertex enumeration code lrs that uses the MPI parallel environment ... adapted for use in other reverse search enumeration codes. We also report some preliminary computational ... comparing parallel and sequential codes for vertex/facet enumeration problems for convex polyhedra. The problems chosen...

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

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

Elizalde
 Referenced in 6 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 6 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...

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...