• VAMPIRE

  • Referenced in 264 articles [sw02918]
  • subsumption, tautology deletion (optionally modulo commutativity), subsumption resolution, rewriting by ordered unit equalities ... some costly operations, e.g., checks of ordering constraints. Although the kernel of the system works...
  • Banshee

  • Referenced in 6 articles [sw10661]
  • code generator for creating customized constraint resolution engines, incremental analysis based on backtracking, and fast...
  • iProver

  • Referenced in 56 articles [sw09707]
  • Redundancy elimination implemented in iProver include: dismatching constraints, blocking non-proper instantiations and propositional-based ... addition to instantiation, iProver implements ordered resolution calculus and a combination of instantiation and ordered...
  • MiniMaxSat

  • Referenced in 36 articles [sw09732]
  • constraints. Its main features are: learning and backjumping on hard clauses; resolution-based and subtraction...
  • Healpix

  • Referenced in 79 articles [sw08860]
  • HEALPix: A Framework for High-Resolution Discretization and Fast Analysis of Data Distributed ... paper we consider the requirements and implementation constraints on a framework that simultaneously enables...
  • BANE

  • Referenced in 1 article [sw30929]
  • provide a semantics for constraints and constraint resolution algorithms. The second part of the dissertation ... techniques to support the practical resolution of large constraint systems. We give empirical results supporting...
  • Rubydust

  • Referenced in 1 article [sw22066]
  • since we need only write a constraint resolution algorithm and a transformation to introduce...
  • ATGen

  • Referenced in 11 articles [sw07275]
  • automatic test data generator based on constraint logic programming and symbolic execution. After reviewing ... symbolic execution technique, approaches for the resolution of the technical difficulties that have ... based on symbolic execution and that uses constraint logic programming, is then discussed...
  • LSSPER

  • Referenced in 29 articles [sw02485]
  • presents the Local Search with SubProblem Exact Resolution (LSSPER) method based on large neighbourhood search ... exact solution approach (using either constraint programming techniques or mathematical programming techniques). Hence, the method...
  • BACP

  • Referenced in 6 articles [sw03472]
  • combine a genetic algorithm with constraint programming techniques and to propose a general modelling framework ... precisely design such hybrid resolution process and highlight their characteristics and properties...
  • IMP

  • Referenced in 5 articles [sw07913]
  • even higher resolution and confidence. To this end, the optimization employs multiple constraints that take...
  • LocalSolver

  • Referenced in 16 articles [sw04850]
  • formalism, and then to defer its actual resolution to a solver based on efficient ... black-box tree-search solvers (integer or constraint programming). Having outlined the modeling formalism...
  • OBSTRUCT

  • Referenced in 3 articles [sw16886]
  • protein sequence set according to structural resolution and sequence similarity. A program OBSTRUCT has been ... largest possible subset according to specific constraints from a set of protein sequences whose tertiary ... range in sequence similarity level and/or structural resolution. The program optionally includes sequences with known...
  • GlowFit

  • Referenced in 1 article [sw30433]
  • detectors. This resolution is achieved mainly by setting constraints or by fixing selected parameters...
  • PHORA

  • Referenced in 3 articles [sw08003]
  • component of this system is the anaphora resolution module. To solve the anaphora, this module ... statistical information. This method is based on constraints and preferences and solves pronouns and definite ... dialogue discourse features. The anaphora resolution module uses several resources, such as a lexical database...
  • Servalcat

  • Referenced in 1 article [sw42032]
  • resolution. Servalcat also facilitates atomic model refinement under symmetry constraints. If point-group symmetry...
  • interval toolbox

  • Referenced in 1 article [sw14907]
  • radius); numerical resolution of nonlinear equality/inequality systems, with or without nonlinear constraint (constraints...
  • Parallelized FDTD

  • Referenced in 2 articles [sw39344]
  • constraint on the FDTD initial condition. Finally, we discuss the usage of multi-resolution techniques...
  • SPASS-AR

  • Referenced in 1 article [sw39884]
  • straight dismatching constraints, which we prove to be decidable via ordered resolution with selection...
  • IT-CEMOP

  • Referenced in 6 articles [sw02582]
  • evolution and repair algorithm for handling nonlinear constraints. The algorithm maintains a finite-sized archive ... allowing a decision maker to control the resolution of the Pareto set approximation by choosing...