• SnapPea

  • Referenced in 163 articles [sw06873]
  • microfiche supplement. In analogy with the enumeration of knots and links, each manifold is given ... description is given of how the enumeration has been carried out. As combinatorially there...
  • LattE

  • Referenced in 118 articles [sw04654]
  • LattE (Lattice point Enumeration) is a computer software dedicated to the problems of counting lattice...
  • ABACUS

  • Referenced in 116 articles [sw02948]
  • algorithmic concepts, e.g., a list of different enumeration and branching strategies from which the best...
  • PALP

  • Referenced in 70 articles [sw00672]
  • contains routines for vertex and facet enumeration, computation of incidences and symmetries, as well ... specialised to reflexive polytopes such as the enumeration of reflexive subpolytopes, and applications to toric ... routine for vertex and facet enumeration compares well with existing packages...
  • Cmodels

  • Referenced in 71 articles [sw04435]
  • solvers as a search engine for enumerating models of the logic program -- possible solutions ... sets for such a program can be enumerated by a SAT solver. On the other...
  • BKZ

  • Referenced in 66 articles [sw10242]
  • However, recent progress on lattice enumeration suggests that BKZ and its NTL implementation...
  • TOPCOM

  • Referenced in 65 articles [sw04867]
  • components of the flip graph of triangulations, enumerate all triangulations. The core algorithms implemented...
  • OSCAR

  • Referenced in 45 articles [sw26328]
  • defeasible reasoner will not generally be recursively enumerable, a defeasible reasoner based upon a rich ... like a traditional theorem prover and simply enumerate the warranted conclusions. An alternative criterion...
  • MathSAT

  • Referenced in 61 articles [sw09449]
  • particular: model generation (for counterexample reconstruction), model enumeration (for predicate abstraction), an incremental interface...
  • Regina

  • Referenced in 43 articles [sw04862]
  • bindings, and also supports angle structures, census enumeration, combinatorial recognition of triangulations, and high-level ... algorithms to alleviate bottlenecks in normal surface enumeration, modern implementations of 3-sphere recognition...
  • LCM

  • Referenced in 39 articles [sw40293]
  • Efficient Algorithm for Enumerating Frequent Closed Item Sets. In this paper, we propose three algorithms ... dense structures of input data. Algorithms for enumerating all frequent item sets and maximal frequent...
  • CARAT

  • Referenced in 45 articles [sw04293]
  • CARAT is a computer package which handles enumeration, construction, recognition, and comparison problems for crystallographic...
  • FINDER

  • Referenced in 40 articles [sw06376]
  • Finite domain enumerator. This is a finite domain CSP solver, rather limited in what...
  • Adinkras

  • Referenced in 27 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...
  • Octane

  • Referenced in 25 articles [sw19782]
  • programs, which finds feasible integer points by enumerating extended facets of the octahedron, the outer ... give efficient algorithms to carry out the enumeration, and we explain how our heuristic...
  • DEMiCs

  • Referenced in 21 articles [sw00196]
  • general semi-mixed polynomial system through dynamic enumeration of all mixed cells. The underlying mixed ... construction of a dynamic enumeration tree for finding all mixed cells. The dynamic enumeration method...
  • CliqueTop

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

  • Referenced in 16 articles [sw22149]
  • familiar data types for programmers (subranges, enumerated types, arrays, and records), as well as more ... verifier that is based on explicit state enumeration, which can be performed as a depth...
  • BinaryTrees

  • Referenced in 22 articles [sw14282]
  • binary trees. This paper considers the enumeration of trees avoiding a contiguous pattern. We provide...
  • WILF

  • Referenced in 15 articles [sw11643]
  • Enumeration schemes and, more importantly, their automatic generation. With all due respect to Wilf classes ... enumeration, and even to combinatorics, the main point of this article is not to enhance...