• iProver

  • Referenced in 49 articles [sw09707]
  • saturation algorithms. Redundancy elimination implemented in iProver include: dismatching constraints, blocking non-proper instantiations...
  • GPDOF

  • Referenced in 8 articles [sw02585]
  • cannot be easily extended to tackle geometric constraint systems that are under-constrained. 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 so-called 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 cycle-spinning...
  • 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...
  • FME-IT

  • Referenced in 0 articles [sw17107]
  • Motzkin elimination (FME) and removes constraints that are redundant due to Shannon-type 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 non-negativity properties, chain-rules ... STIs to the identification of redundant constraints...
  • Sieve-SDP

  • 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 quasi-Newton 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...