• 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...
  • R-SPLINE

  • Referenced in 11 articles [sw29802]
  • search with piecewise-linear interpolation and neighborhood enumeration. We consider simulation-optimization (SO) models where ... Piecewise-Linear 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 2-level polytopes. A (convex) polytope P is said to be 2-level ... paper, we present the first algorithm for enumerating all combinatorial types of 2-level polytopes ... dimensional 2-level polytope 𝑃0 , we enumerate all d-dimensional 2-level 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 A-graded 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 Branch-and-Bound 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 k-queens problem...
  • Elizalde

  • Referenced in 6 articles [sw07578]
  • Automatic generation of theorems and proofs on enumerating consecutive-Wilf 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 consecutive-Wilf classes (i.e. consecutive pattern-avoidance...
  • Sergi

  • Referenced in 6 articles [sw07579]
  • Automatic generation of theorems and proofs on enumerating consecutive-Wilf 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 consecutive-Wilf classes (i.e. consecutive pattern-avoidance...
  • bs3np

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