
Gecode
 Referenced in 83 articles
[sw06272]
 engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB); MiniZinc support; and many more. efficient...

SOFTSUSY
 Referenced in 81 articles
[sw01415]
 equations with theoretical constraints on soft supersymmetry breaking terms provided by the user. Weakscale ... well as successful radiative electroweak symmetry breaking. The program can also calculate a measure...

SuSpect
 Referenced in 25 articles
[sw00933]
 anomaly (AMSB) or gauge (GMSB) mediated supersymmetry breaking models, but also in the nonuniversal ... consistent implementation of radiative electroweak symmetry breaking and the calculation of the physical masses ... large finetuning in the electroweak symmetry breaking condition, as well as agreement with precision...

Superiso
 Referenced in 21 articles
[sw00929]
 program for calculating the isospin symmetry breaking in B→K * γ decays in the MSSM ... factorization method. We show that isospin symmetry breaking proves to be a very restrictive observable...

Kodkod
 Referenced in 26 articles
[sw07090]
 specifying partial solutions, an effective symmetry detection and breaking scheme, and an economical translation from ... addressed with three new techniques: a symmetry detection algorithm that works in the presence...

Shatter
 Referenced in 6 articles
[sw21225]
 Shatter: efficient symmetrybreaking for boolean satisfiability. Boolean satisfiability (SAT) solvers have experienced dramatic improvements ... theoretical framework for detecting and breaking such symmetries was introduced in [2]. This framework ... space are broken by adding appropriate symmetrybreaking predicates (SBPs) to a SAT instance ... satisfiability of the CNF formula. For symmetry breaking to be effective in practice, the computational...

TACO
 Referenced in 7 articles
[sw07668]
 efficient satbased bounded verification using symmetry breaking and tight bounds SATbased bounded verification ... instrument code analysis with a symmetrybreaking predicate which, on one hand, reduces the size...

FlexibleSUSY
 Referenced in 8 articles
[sw20846]
 renormalization group equations (RGEs) and electroweak symmetry breaking (EWSB) conditions and combines them with numerical...

SymChaff
 Referenced in 6 articles
[sw00938]
 many limitations of alternative approaches like symmetry breaking predicates, implicit pseudoBoolean representations, general group...

PolyMat
 Referenced in 6 articles
[sw40601]
 local constraints to break symmetries or achieve graded geometries...

SUSEFLAV
 Referenced in 5 articles
[sw09546]
 computing supersymmetric spectra precisely for various supersymmetric breaking scenarios applicable even in the presence ... MSSM parameters by incorporating radiative electroweak symmetry breaking conditions. The program also incorporates the Type...

AllDifferent
 Referenced in 4 articles
[sw08967]
 global constraint including instruction scheduling and symmetry breaking. We give an efficient propagation algorithm that...

SWARM
 Referenced in 4 articles
[sw14938]
 algorithms. Viz. List ranking, Prefix sums, Symmetry breaking...

CleGo
 Referenced in 3 articles
[sw06831]
 interest for instance in discussing symmetry breaking in model building for grand unified theories...

reduce
 Referenced in 2 articles
[sw31512]
 Reduce  A tool for symmetry breaking. This git repository contains the C++ source code ... experimental software implementation of adaptive prefixassignment symmetry reduction; cf. T. Junttila, M. Karppa...

MCMIN
 Referenced in 1 article
[sw10809]
 Monte Carlo optimization applied to symmetry breaking. The authors present a Monte Carlo optimization algorithm ... which is important in determining the symmetry breaking directions in the Higgs potential...

STRATIFY
 Referenced in 1 article
[sw18775]
 compact Lie groups. The principle of symmetry breaking allows to decompose in a unique...

SPICE
 Referenced in 2 articles
[sw14773]
 mediated supersymmetry breaking, and anomalymediated supersymmetry breaking supplemented by a universal scalar mass ... from specifying charges of fields under horizontal symmetries to completely specifying all flavorviolating parameters...

QuSpin
 Referenced in 5 articles
[sw23897]
 supporting the use of various (userdefined) symmetries in one and higher dimension and (imaginary ... GrossPitaevskii equation, (vi) integrability breaking and thermalizing dynamics in the translationallyinvariant 2D transverse...

BEMLIB
 Referenced in 115 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...