• GPB

  • Referenced in 3 articles [sw18875]
  • developed algorithm upon comparing it with enumeration-based 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 2-level polytopes. A (convex) polytope P is said to be 2-level ... 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 2-level 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 (space-free) multi-row 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...