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

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

mplp2
 Referenced in 7 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...

2L_enum
 Referenced in 11 articles
[sw31753]
 Enumeration of 2level polytopes. A (convex) polytope P is said to be 2level ... covered with H and exactly one other translate of H. The study of these polytopes ... paper, we present the first algorithm for enumerating all combinatorial types of 2level polytopes...

TEIRESIAS
 Referenced in 16 articles
[sw35978]
 very efficient by avoiding the enumeration of the entire pattern space. Furthermore, the reported patterns ... still keep on appearing at the exact same positions within the input sequences. The effectiveness...

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

PANDA
 Referenced in 7 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...

SeaPearl
 Referenced in 1 article
[sw41604]
 years. Standard exact solving approaches are based on a clever and complete enumeration...

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

RowLayout
 Referenced in 7 articles
[sw31820]
 exact approaches to row layout problems. Given a set of departments, a number of rows ... these formulations in an enumeration scheme for solving the (spacefree) multirow facility layout ... five rows with up to 13 departments exactly in reasonable time...

DynamicPrevariety
 Referenced in 4 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...

Apron
 Referenced in 69 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

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