
SnapPea
 Referenced in 130 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...

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

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

Cmodels
 Referenced in 56 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...

PALP
 Referenced in 35 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...

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

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

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

Regina
 Referenced in 25 articles
[sw04862]
 bindings, and also supports angle structures, census enumeration, combinatorial recognition of triangulations, and highlevel ... algorithms to alleviate bottlenecks in normal surface enumeration, modern implementations of 3sphere recognition...

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

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

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

DEMiCs
 Referenced in 15 articles
[sw00196]
 general semimixed 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...

WILF
 Referenced in 13 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...

HERB
 Referenced in 13 articles
[sw11644]
 that automatically find (rigorously and empirically, respectively) Enumeration Schemes for counting permutations with forbidden patterns ... classes). They accompanies Doron Zeilberger’s paper ”Enumeration Schemes, and More Importantly, Their Automatic Generation...

OPBDP
 Referenced in 12 articles
[sw05036]
 constraints polynomial(C++) A DavisPutnam Based Enumeration Algorithm for LinearPseudoBoolean Optimization ... constraints polynomial(C++) A DavisPutnam Based Enumeration Algorithm for Linear PseudoBoolean Optimization...

azove
 Referenced in 10 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 14 articles
[sw13198]
 well‐documented in the literature. We enumerate the major components of any scalable Web crawler...

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

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