• Chaff

  • Referenced in 471 articles [sw06916]
  • packages, both proprietary and in the public domain (e.g. GRASP, SATO) which find significant ... particularly efficient implementation of Boolean constraint propagation (BCP) and a novel low overhead decision strategy...
  • ABAQUS/Standard

  • Referenced in 110 articles [sw07161]
  • state rolling of a tire, or crack propagation in a composite airplane fuselage. Within ... model both in the time and frequency domain. For example, one may start by performing...
  • XFEM

  • Referenced in 198 articles [sw01026]
  • independent near-tip, and discontinuous quadrature rules); domain integral methods for homogeneous and bi-material ... with local near-tip refinement, and crack propagation in two dimensions as well as complex...
  • CLPS-B

  • Referenced in 6 articles [sw00132]
  • terms of constraint domains, consistency verification and constraint propagation. It is more powerful than most ... constraint systems, because it allows the domain of variable to contain other variables, which increase ... level of abstraction. The constrained state propagates the non-determinism of the B specifications...
  • cumulativemm

  • Referenced in 2 articles [sw15628]
  • mode activities, respectively. Moreover, they integrate domain propagation and explanation generation techniques for the above...
  • gprecedencemm

  • Referenced in 2 articles [sw15629]
  • mode activities, respectively. Moreover, they integrate domain propagation and explanation generation techniques for the above...
  • clpfd

  • Referenced in 5 articles [sw06308]
  • present a new constraint solver over finite domains, freely available as library(clpfd ... arbitrarily large integers, always terminating propagation, and a domain-specific language that concisely expresses...
  • CaSPER

  • Referenced in 6 articles [sw08629]
  • solving process such as propagator scheduling, search strategies, low-level domain implementation selection, and more...
  • FIVER

  • Referenced in 9 articles [sw18341]
  • large density jumps is presented. The global domain of interest can include a moving ... topological changes due to, for example, crack propagation. The key components of the proposed method...
  • AllDifferent

  • Referenced in 4 articles [sw08967]
  • constraint. We show how to implement this propagator using a decomposition that extends the bounds ... AllDifferent constraint. Finally, we prove that enforcing domain consistency on this global constraint...
  • BEE

  • Referenced in 5 articles [sw16989]
  • compiler which enables to encode finite domain constraint problems to CNF. Using BEE both eases ... These optimizations are based primarily on equi-propagation and on partial evaluation, and also ... often highly beneficial when solving hard finite domain constraint problems. ABEE implementation is available with...
  • VOLNA

  • Referenced in 4 articles [sw06829]
  • complete life cycle of a tsunami (generation, propagation and run-up along the coast ... thus can be run in arbitrary complex domains. This paper contains a detailed description...
  • CEFIT

  • Referenced in 2 articles [sw19989]
  • elastodynamic finite integration technique for axisymmetric wave propagation in homogeneous and heterogeneous linear elastic media ... special variant of a finite difference time domain scheme offers a suitable method to calculate ... available are presented. These solutions involve wave propagation in an elastic plate and plane wave...
  • TURBINS

  • Referenced in 2 articles [sw20241]
  • simulating density-driven gravity and turbidity currents propagating over complex topographies. The code is second ... time, uses MPI, and employs a domain decomposition approach. It makes use of multigrid preconditioners...
  • PERMIX

  • Referenced in 3 articles [sw09519]
  • continuum domains or atomistic domains to continuum domains, respectively. The efficiency of our open-source ... XFEM coupling for dynamic crack propagation...
  • inpaintBCT

  • Referenced in 3 articles [sw15076]
  • order functional advection PDE on a compact domain with all inflow boundaries is studied. That ... image. The image information is propagated along integral curves of a coherence vector field from...
  • AK-MCS

  • Referenced in 7 articles [sw18303]
  • just started to appear in uncertainty propagation [3] and reliability and studies. It presents interesting ... differentiability, non-convex and non-connex domains of failure and high dimensionality...
  • CAMA

  • Referenced in 3 articles [sw07285]
  • literal-watching scheme for Boolean constraint propagation (BCP), conflict-based learning with identifying the first ... that, for MV-SAT problemswith large variable domains, CAMA outperforms Chaff...
  • COM-MAT-FAIL

  • Referenced in 3 articles [sw10166]
  • numerical techniques devised for modeling propagating material failure, i.e. cracks in fracture mechanics or slip ... simulation and in selected areas of the domain of analysis, goal oriented specific strain fields ... intra-elemental” methods for capturing complex propagating displacement discontinuities in coarse meshes...
  • FLEX

  • Referenced in 2 articles [sw08723]
  • primary focus, performing Fast Large EXplicit time-domain dynamic simulations, and from its versatility ... separate program to model electromagnetic wave propagation, in support of improved quality assurance methods...