
iProver
 Referenced in 49 articles
[sw09707]
 saturation algorithms. Redundancy elimination implemented in iProver include: dismatching constraints, blocking nonproper instantiations...

GPDOF
 Referenced in 8 articles
[sw02585]
 cannot be easily extended to tackle geometric constraint systems that are underconstrained. In this ... show experimentally that, provided that redundant constraints have been removed from the system, GPDOF...

LinAIG
 Referenced in 6 articles
[sw10316]
 space traversal are redundancy elimination and constraint minimization: redundancy elimination eliminates socalled redundant linear...

VAMPIRE
 Referenced in 239 articles
[sw02918]
 such definitions. A number of standard redundancy criteria and simplification techniques are used for pruning ... some costly operations, e.g., checks of ordering constraints. Although the kernel of the system works...

Steerable pyramid
 Referenced in 81 articles
[sw14908]
 represent oblique orientations well). Once the orthogonality constraint is dropped, it makes sense to completely ... using orthogonal wavelet filters in a redundant representation, as is done in cyclespinning...

MiningZinc
 Referenced in 3 articles
[sw19070]
 rules are then used to add redundant constraints or solve subproblems using specialized data mining...

XA
 Referenced in 7 articles
[sw21986]
 model by removing redundant contraints, subsituting constraints, etc. In most cases, GAMS/XA should perform satisfactorily...

UMLtoCSP
 Referenced in 2 articles
[sw11377]
 class diagram annotated with OCL constraints, UMLtoCSP is able to automatically check several correctness properties ... model or the lack of redundant constraints. The tool uses Constraint Logic Programming...

CORO
 Referenced in 24 articles
[sw02197]
 schemes are presented for modeling multiperiod linking constraints, such that they are satisfied through ... using a splitting variable scheme, via a redundant circular linking representation...

FMEIT
 Referenced in 0 articles
[sw17107]
 Motzkin elimination (FME) and removes constraints that are redundant due to Shannontype inequalities (STIs ... outputs of such software often include constraints that are inactive due to information theoretic properties ... computer program), our algorithm removes such redundant constraints based on nonnegativity properties, chainrules ... STIs to the identification of redundant constraints...

SieveSDP
 Referenced in 4 articles
[sw31824]
 constraints of the problem to detect lack of strict feasibility, deletes redundant rows and columns...

Pcp2Nurb
 Referenced in 18 articles
[sw00689]
 central building block for overcoming topological constraints in the mathematical modeling of smooth surfaces that ... subnet does not have geometrically redundant edges, this patch joins smoothly with patches from adjacent...

daTac
 Referenced in 3 articles
[sw26325]
 Symbolic Constraints: the basic strategy is implemented in daTac [Vig94]. Elimination of Redundant Information: several...

sDTW
 Referenced in 0 articles
[sw24327]
 used for identifying locally relevant constraints to eliminate redundant work. Relying on this observation ... core&adaptive width strategies which enforce different constraints reflecting the high level structural characteristics...

MSPAI
 Referenced in 9 articles
[sw11522]
 techniques in domain decomposition: it adds probing constraints to the basic SPAI formulation ... optimization techniques: First, we avoid redundant calculations using a dictionary. Second, our implementation reduces...

YIELDS
 Referenced in 4 articles
[sw31658]
 Limited Discrepancy Search (LDS). It integrates constraint propagation and variable order learning. The learning scheme ... intractable. This method is then less redundant than LDS. The efficiency of YIELDS is experimentally...

PyBerny
 Referenced in 1 article
[sw33442]
 several techniques, comprising the quasiNewton method, redundant internal coordinates, an iterative Hessian approximation ... help is always welcome): crystal geometries, coordinate constraints, coordinate weighting, transition state search. PyBerny...

WavmatND
 Referenced in 0 articles
[sw14863]
 many advantages in applications. The inherent redundancy of this transform proved beneficial in tasks ... inverse transform. Finally, the method has no constraints on a size of the input signal...

BARON
 Referenced in 316 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CGAL
 Referenced in 360 articles
[sw00118]
 The goal of the CGAL Open Source Project...