
P123
 Referenced in 4 articles
[sw19252]
 avoiding that pattern. P123, to enumerate permutations containing exactly r occurrences of the pattern...

P1234
 Referenced in 4 articles
[sw19255]
 avoiding that pattern. P1234, to enumerate permutations containing exactly r occurrences of the pattern...

P12345
 Referenced in 4 articles
[sw19256]
 avoiding that pattern. P12345, to enumerate permutations containing exactly r occurrences of the pattern...

P123456
 Referenced in 4 articles
[sw19257]
 avoiding that pattern. P123456, to enumerate permutations containing exactly r occurrences of the pattern...

F1234
 Referenced in 4 articles
[sw19254]
 that pattern. F1234, Also to enumerate permutations containing exactly r occurrences of the pattern...

F12345
 Referenced in 4 articles
[sw19258]
 that pattern. F12345, Also to enumerate permutations containing exactly r occurrences of the pattern...

F123
 Referenced in 4 articles
[sw19253]
 that pattern. F123, Also to enumerate permutations containing exactly r occurrences of the pattern...

GPB
 Referenced in 2 articles
[sw18875]
 developed algorithm upon comparing it with enumerationbased exact method and the results from...

mplp2
 Referenced in 5 articles
[sw21188]
 exactly solve many hard inference problems. However, these algorithms explicitly enumerate a candidate ... decomposition framework and clusterpursuit. The new algorithm exactly solves MAP inference problems arising from relational...

TABARIS
 Referenced in 16 articles
[sw02534]
 TABARIS: An exact algorithm based on tabu search for finding a maximum independent ... presented. It consists of an implicit enumeration procedure; the procedure uses at various stages bounds...

FreeSquares
 Referenced in 3 articles
[sw12555]
 enumeration of sets of monomials. Then, this enumeration is treated by means of Hilbert functions ... chessboard to get exactly u unattacked squares? How many squares can a knight...

PANDA
 Referenced in 3 articles
[sw12654]
 efficient implementation of the vertex and facet enumeration problem for polyhedra. The software is based ... decomposition, the option of doing computations in exact integer arithmetic, the exploitation of symmetry information...

DynamicPrevariety
 Referenced in 2 articles
[sw19962]
 present a parallel implementation of dynamic enumeration. Our first distributed memory implementation with forked processes ... thread safe Parma Polyhedral Library (PPL), in exact arithmetic with the GNU Multiprecision Arithmetic Library...

ITC
 Referenced in 0 articles
[sw07633]
 execute interactively single steps in an enumeration of the cosets of a subgroup ... thus to see in various windows exactly what is happening. Note that the ITC package...

BARON
 Referenced in 262 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 98 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 293 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 556 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1423 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2350 articles
[sw00320]
 GAP is a system for computational discrete algebra...