
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 ... compare their performance to the previous algorithms, we found that our algorithms are fast...

ABACUS
 Referenced in 116 articles
[sw02948]
 variety of general algorithmic concepts, e.g., a list of different enumeration and branching strategies from ... useful tools for the implementation of such algorithms. It is designed both for general mixed...

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

TOPCOM
 Referenced in 65 articles
[sw04867]
 flip graph of triangulations, enumerate all triangulations. The core algorithms implemented in TOPCOM are described...

OPBDP
 Referenced in 14 articles
[sw05036]
 polynomial(C++) A DavisPutnam Based Enumeration Algorithm for LinearPseudoBoolean Optimization , 01 variables ... polynomial(C++) A DavisPutnam Based Enumeration Algorithm for Linear PseudoBoolean Optimization...

Regina
 Referenced in 43 articles
[sw04862]
 Computational topology with Regina: algorithms, heuristics and implementations. Regina is a software package for studying ... bindings, and also supports angle structures, census enumeration, combinatorial recognition of triangulations, and highlevel ... literature some of the key algorithms, heuristics and implementations that are central to Regina ... data structures and algorithms to alleviate bottlenecks in normal surface enumeration, modern implementations...

PALP
 Referenced in 70 articles
[sw00672]
 specialised to reflexive polytopes such as the enumeration of reflexive subpolytopes, and applications to toric ... algorithms work in any dimension and our key routine for vertex and facet enumeration compares...

LattE
 Referenced in 118 articles
[sw04654]
 LattE (Lattice point Enumeration) is a computer software dedicated to the problems of counting lattice ... first ever implementation of Barvinok’s algorithm. The LattE macchiato version (by M. Köppe) incorporated...

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

CaTS
 Referenced in 8 articles
[sw08112]
 given one. Several variants of these enumeration algorithms are supported such as restricting the above...

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

2L_enum
 Referenced in 11 articles
[sw31753]
 Enumeration of 2level polytopes. A (convex) polytope P is said to be 2level ... this paper, we present the first algorithm for enumerating all combinatorial types of 2level...

BKZ
 Referenced in 66 articles
[sw10242]
 lattice security estimates. The best lattice reduction algorithm known in practice for high dimension ... However, recent progress on lattice enumeration suggests that BKZ and its NTL implementation ... Regev pruning. We propose an efficient simulation algorithm to model the behaviour...

mplp2
 Referenced in 7 articles
[sw21188]
 many hard inference problems. However, these algorithms explicitly enumerate a candidate set of clusters, limiting ... cycle constraints, giving a nearly linear time algorithm for finding the most frustrated cycle...

QUAD01
 Referenced in 4 articles
[sw03306]
 program described here implements an implicitenumeration algorithm for quadratic zeroone programming devised...

COBBLER
 Referenced in 3 articles
[sw26973]
 groups,feature (column) enumeration and row enumeration. Featureenumeration algorithms like CHARM and CLOSET+ areefficient ... combinations to beenumerated is small. Row enumeration algorithms like CARPENTERon the other hand are more ... features.In this paper, we describe a new algorithm called COBBLERwhich can efficiently mine such datasets ... dynamically switch between feature enumerationand row enumeration depending on the data characteristic inthe process...

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

BinaryTrees
 Referenced in 22 articles
[sw14282]
 considers the enumeration of trees avoiding a contiguous pattern. We provide an algorithm for computing...

CARAT
 Referenced in 45 articles
[sw04293]
 CARAT is a computer package which handles enumeration, construction, recognition, and comparison problems for crystallographic ... CARAT itself is an acronym for Crystallographic AlgoRithms And Tables. CARAT is a compilation...

QuickLex
 Referenced in 2 articles
[sw23063]
 QuickLex: a fast algorithm for consistent global states enumeration of distributed computations. Verifying the correctness ... Cooper and Marzullo gave the first enumeration algorithm based on a breadth first strategy ... paper, we present a fast algorithm, QuickLex, to enumerate global states in the lexical order ... From our experiments, the Tree algorithm requires $210$ times more memory space than QuickLex...