• METIS

  • Referenced in 452 articles [sw04089]
  • serial programs for partitioning graphs, partitioning finite element meshes, and producing fill reducing orderings ... bisection, multilevel k-way, and multi-constraint partitioning schemes developed...
  • PHAVer

  • Referenced in 116 articles [sw04123]
  • overapproximation and by partitioning the state space based on user-definable constraints and the dynamics...
  • PaToH

  • Referenced in 36 articles [sw09873]
  • multilevel hypergraph partitioner, Hypergraph partitioning with fixed cells, Multi-constraint hypergraph partitioner...
  • MISER3

  • Referenced in 81 articles [sw04190]
  • combination of both, subject to general constraints. The method used is based on the idea ... piecewise linear (continuous) functions defined on suitable partitions of the time interval. The code then...
  • veDYNA

  • Referenced in 10 articles [sw04237]
  • nonlinear constraints without exceeding an a priori fixed number of calculation steps. Partitioned linear-implicit ... techniques to keep the error in the constraints bounded for arbitrary time intervals. These methods...
  • APOGEE

  • Referenced in 35 articles [sw08451]
  • extended pooling problems via linear and logarithmic partitioning schemes. Our recent work globally optimized ... extended pooling problem incorporating environmental regulations into constraints. The pooling problems were optimized using...
  • Essence

  • Referenced in 19 articles [sw27491]
  • Essence: A constraint language for specifying combinatorial problems. Essence is a formal language for specifying ... objects, such as tuples, sets, multisets, relations, partitions and functions. Essence also allows these combinatorial...
  • NP Datalog

  • Referenced in 9 articles [sw13446]
  • intuitive and efficient constructs (namely, stratified negation, constraints, and exclusive disjunction) is introduced. Next ... disjunction to define (nondeterministically) subsets (or partitions) of relations is investigated. This language, called 𝒩𝒫𝒟atalog...
  • LITMUS

  • Referenced in 4 articles [sw09391]
  • results from such an evaluation, in which partitioned earliest-deadline-first (EDF) scheduling, preemptive ... constraints. To our knowledge, this paper is the first attempt by anyone to compare partitioned...
  • SamplingStrata

  • Referenced in 5 articles [sw11930]
  • cost under the condition to satisfy precision constraints in a multivariate and multidomain case. This ... genetic algorithm: each solution (i.e. a particular partition in strata of the sampling frame ... calculate the sampling size satisfying precision constraints on the target estimates. Functions in the package...
  • SPeeDI

  • Referenced in 7 articles [sw00896]
  • existence of a finite and computable partition of the state space into classes of states ... resort to (forward or backward) propagation of constraints, typically (unions of convex) polyhedra or ellipsoids...
  • BoostCluster

  • Referenced in 5 articles [sw08555]
  • given clustering algorithm by exploiting the pairwise constraints. The key challenge in designing a boosting ... number of popular clustering algorithms (K-means, partitional SingleLink, spectral clustering), and its performance...
  • PATOMA

  • Referenced in 3 articles [sw25553]
  • shape blocks under tight fixed-outline area constraints and a wirelength objective. Dramatic improvement over ... construction of strictly legal layouts for every partition block at every level of a cutsize...
  • EPCM

  • Referenced in 3 articles [sw03458]
  • flexible hyperspheric dichotomy is proposed which may partition a dataset into two parts: the main ... objective function of EPCM with some novel constraints. Finally, EPCM is realized by using...
  • L2CXCV

  • Referenced in 2 articles [sw26952]
  • problem. A highly useful description of the constraints is that they follow from the assumption ... process considered. The underlying algorithm partitions the data into two disjoint sets of adjacent data ... concave on the other one. The partition into suitable sets is achieved by a finite ... twice the number of the divided differences constraints. The quadratic programming technique makes...
  • MODIR

  • Referenced in 6 articles [sw36993]
  • definition of a multi-objective deterministic partition-based algorithm. The main target of the proposed ... respect to a set of motion-related constraints. We show that the hybrid method performs...
  • contigclust

  • Referenced in 2 articles [sw37320]
  • most basic methods for partitioning a set of objects into clusters of similar objects ... intuitive means of imposing a contiguity constraint...
  • Alpine.jl

  • Referenced in 1 article [sw34677]
  • terms. In the first stage, we exploit Constraint Programing techniques to contract the variable bounds ... achieved. In the second stage, we partition the variables domains using an adaptive multivariate partitioning...
  • BiDAG

  • Referenced in 2 articles [sw31037]
  • algorithm employs a hybrid approach, combining constraint-based learning with search and score. A reduced ... performed following two approaches: Order MCMC, or Partition MCMC. The BGe score is implemented...
  • NTUplace3

  • Referenced in 2 articles [sw13201]
  • wirelength, modern placers need to consider various constraints such as preplaced blocks and density ... controlled by white-space reallocation using partitioning and cut-line shifting during GP and cell...