
Chaff
 Referenced in 475 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 119 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 199 articles
[sw01026]
 independent neartip, and discontinuous quadrature rules); domain integral methods for homogeneous and bimaterial ... with local neartip refinement, and crack propagation in two dimensions as well as complex...

CLPSB
 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 nondeterminism 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 domainspecific language that concisely expresses...

CaSPER
 Referenced in 6 articles
[sw08629]
 solving process such as propagator scheduling, search strategies, lowlevel 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...

WPP
 Referenced in 3 articles
[sw21775]
 Wave Propagation Program) is the predecessor of SW4. It discretizes the seismic wave equations using ... extends to the bottom of the computational domain, is also generated automatically...

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 equipropagation 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 runup 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 densitydriven 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 opensource ... 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...

AKMCS
 Referenced in 7 articles
[sw18303]
 just started to appear in uncertainty propagation [3] and reliability and studies. It presents interesting ... differentiability, nonconvex and nonconnex domains of failure and high dimensionality...

CAMA
 Referenced in 3 articles
[sw07285]
 literalwatching scheme for Boolean constraint propagation (BCP), conflictbased learning with identifying the first ... that, for MVSAT problemswith large variable domains, CAMA outperforms Chaff...

COMMATFAIL
 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 ... intraelemental” methods for capturing complex propagating displacement discontinuities in coarse meshes...