
METIS
 Referenced in 452 articles
[sw04089]
 serial programs for partitioning graphs, partitioning finite element meshes, and producing fill reducing orderings ... bisection, multilevel kway, and multiconstraint partitioning schemes developed...

PHAVer
 Referenced in 116 articles
[sw04123]
 overapproximation and by partitioning the state space based on userdeﬁnable constraints and the dynamics...

PaToH
 Referenced in 36 articles
[sw09873]
 multilevel hypergraph partitioner, Hypergraph partitioning with fixed cells, Multiconstraint 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 linearimplicit ... 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 earliestdeadlinefirst (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 (Kmeans, partitional SingleLink, spectral clustering), and its performance...

PATOMA
 Referenced in 3 articles
[sw25553]
 shape blocks under tight fixedoutline 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 multiobjective deterministic partitionbased algorithm. The main target of the proposed ... respect to a set of motionrelated 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 constraintbased 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 whitespace reallocation using partitioning and cutline shifting during GP and cell...