• SOFTSUSY

  • Referenced in 80 articles [sw01415]
  • renormalisation group equations with theoretical constraints on soft supersymmetry breaking terms provided by the user...
  • SNOBFIT

  • Referenced in 24 articles [sw05289]
  • within bound, possibly subject to additional soft constraints. Discrete variables are not supported. Objective function ... noisy or even occasionally undefined results (hidden constraints). The interface makes it possible ... other optimization routines are ill-prepared. Soft constraints are taken care...
  • PARPAP

  • Referenced in 33 articles [sw30926]
  • respect a variety of hard and soft constraints, and preferences. Additionally, home health care problems...
  • PAGODA

  • Referenced in 14 articles [sw08569]
  • rewriting logic framework for soft constraints. Soft constraints extend classical constraints to deal with ... abstract semiring-based theory of soft constraints where many different kinds of soft constraints ... present a framework for prototyping of soft constraints `a la Bistarelli, Montanari and Rossi ... study we present an application of soft constraints to the new area of software-defined...
  • FULPAL

  • Referenced in 19 articles [sw09138]
  • inequality-relation “ ≦∼ ”. Here a fuzzy constraint is replaced by a crisp inequality and a fuzzy ... concepts in crisp inequalities and in soft constraints. The decision procedure is modelled ... procedure for solving LP-problems with soft constraints, proposed by ZIMMERMANN [1978],[ROMMELFANGER 1983], [WERNERS...
  • NSPLib

  • Referenced in 8 articles [sw11952]
  • taking both hard and soft constraints into account. The objective is to maximize the nurses ... penalty cost from violations of the soft constraints. The problem is known...
  • RC2

  • Referenced in 10 articles [sw36048]
  • satisfiability. RC2 stands for relaxable cardinality constraints (alternatively, soft cardinality constraints) and represents an improved...
  • Preference SQL

  • Referenced in 7 articles [sw19209]
  • query language by preferences behaving as soft constraints. Preference SQL has been developed...
  • MiniBrass

  • Referenced in 1 article [sw31298]
  • MiniBrass: soft constraints for MiniZinc. Over-constrained problems are ubiquitous in real-world decision ... formalisms for various problem domains involving soft constraints have been proposed, such as weighted, fuzzy ... modeling languages, however, the field of soft constraints lags behind the state ... optimization. We introduce MiniBrass, a versatile soft constraint modeling language building on the unifying algebraic...
  • Houria III

  • Referenced in 1 article [sw00414]
  • able to state both hard and soft constraints. The hard constraints must hold ... soft constraints are satisfied as much as possible, depending on the criterion used. A constraint ... soft at some strength, and each soft constraint is weighted by a real weight ... hierarchy impose that every class of soft constraints labeled by a strength contains constraints with...
  • Scsat

  • Referenced in 1 article [sw09567]
  • Scsat: a soft constraint guided SAT solver. SCSat is a SAT solver aimed at quickly ... model for hard satisfiable instances using soft constraints. Soft constraints themselves are not necessarily maximally ... obtain a model. Appropriately given soft constraints can reduce search space drastically without losing many...
  • SATLike

  • Referenced in 2 articles [sw36041]
  • When dealing with both hard and soft constraints, the MaxSAT problem is referred...
  • MiniMaxSat

  • Referenced in 36 articles [sw09732]
  • clauses of mandatory satisfaction as in SAT), soft clauses (clauses whose falsification is penalized ... well as pseudo-boolean objective functions and constraints. Its main features are: learning and backjumping...
  • LITMUS

  • Referenced in 3 articles [sw09391]
  • considered) assuming either hard- or soft-real-time constraints. To our knowledge, this paper...
  • NMHDECAY

  • Referenced in 37 articles [sw02826]
  • gluino and slepton spectrum and tests against constraints from LEP and the Tevatron. Further radiative ... allows to integrate the RGEs for the soft terms up to the GUT scale...
  • REMM

  • Referenced in 2 articles [sw03259]
  • design, code generation, time constraints verification and testing of soft-real time MASs. A case...
  • episplineDensity

  • Referenced in 1 article [sw15363]
  • splines. The user may incorporate soft information, by imposing constraints that (i) require unimodality...
  • NMSSMTools

  • Referenced in 26 articles [sw04069]
  • Yukawa couplings lambda and kappa, the soft trilinear terms A_lambda and A_kappa ... channels relevant for the NMSSM. B physics constraints from b -> s gamma, Delta...
  • NMSPEC

  • Referenced in 12 articles [sw04070]
  • terms specified at MGUTMGUT. Exceptions are the soft singlet mass View the MathML sourcems2 ... msms and AκAκ—that passes present experimental constraints on sparticle and Higgs masses. We discuss...
  • iLogDemons

  • Referenced in 7 articles [sw30734]
  • logDemons by integrating elasticity and incompressibility for soft-tissue tracking. To that end, a mathematical ... finally minimised under the divergence-free constraint to get incompressible deformations. As the elastic regulariser...