• WASP

  • Referenced in 40 articles [sw09565]
  • WASP adopts the BerkMin criterion hybridized with look-ahead techniques. The paper also reports...
  • mfem

  • Referenced in 44 articles [sw22316]
  • programs. The first, hybrid, implementation (LMmfem) is based on Lagrange multiplier techniques. The second, direct...
  • Breach

  • Referenced in 21 articles [sw20822]
  • toolbox for verification and parameter synthesis of hybrid systems. We describe Breach, a Matlab/C++ toolbox ... simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems...
  • Pueblo

  • Referenced in 29 articles [sw00743]
  • This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into ... achieve this, we adopt the cutting-plane technique to draw inferences among PB constraints ... approach include a light-weight and efficient hybrid learning and backjumping strategy for analyzing ... both to determine the backtrack level. Several techniques for handling the original and learned...
  • Slate

  • Referenced in 4 articles [sw31053]
  • permits the rapid execution of these hybridization techniques within a code-generating framework. The resulting ... solver environment, allowing for the implementation of hybridization and static condensation as runtime-configurable preconditioners...
  • Flow*

  • Referenced in 22 articles [sw20162]
  • linear (polynomial) hybrid systems. Flow* combines well-known Taylor model arithmetic techniques for guaranteed approximations ... series of non-linear continuous and hybrid system benchmarks. Our comparisons show that Flow...
  • vx_dbel

  • Referenced in 3 articles [sw37455]
  • critical values; and 3) a new hybrid technique that combines methods...
  • HyDI

  • Referenced in 3 articles [sw11912]
  • HyDI: a language for symbolic hybrid systems with discrete interaction. Complex embedded systems consist ... challenging and demands for advanced validation techniques. Hybrid automata are a clean and consolidated formal...
  • Nektar++

  • Referenced in 76 articles [sw11964]
  • differential equations (PDEs) within both continuous and hybridized discontinuous Galerkin (HDG) frameworks share the same ... matrix generation stage coupled with the parallelization techniques developed for the linear system solvers make...
  • TSPTW

  • Referenced in 36 articles [sw04709]
  • specific time window. We propose a hybrid approach for solving the TSPTW that merges Constraint ... viewpoint (find a path), and Operations Research techniques for coping with the optimization perspective (find...
  • TALE

  • Referenced in 8 articles [sw13844]
  • edges. This paper presents a novel technique for approximate matching of large graph queries ... structural information in a hybrid index structure. This indexing technique achieves high pruning power...
  • HybridMC

  • Referenced in 3 articles [sw11204]
  • Hybrid Monte Carlo and Multipoint Hybrid Monte Carlo sampling techniques. This package ... Hybrid Monte Carlo and Multipoint Hybrid Monte Carlo sampling techniques described in Liu (2001): ”Monte...
  • Spartacus

  • Referenced in 14 articles [sw12426]
  • Logic. Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive ... performance, Spartacus implements a number of optimization techniques, including a new technique that we call...
  • Hydrowl

  • Referenced in 2 articles [sw20067]
  • Hydrowl. Hydrowl is based on novel hybrid techniques which in order to compute the query...
  • ff

  • Referenced in 5 articles [sw23393]
  • virtual attributes. ff objects have well-defined hybrid copying semantics, which gives rise to certain ... file allocation. Several access optimization techniques such as Hybrid Index Preprocessing and Virtualization are implemented...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • Constraint Programming is recognized as an efficient technique for solving hard combinatorial optimization problems. However ... optimization paradigms such as local search, yielding hybrid algorithms with constraints. Such combinations lack...
  • Clingcon

  • Referenced in 34 articles [sw09892]
  • Clingcon is a hybrid solver combining the monolithic answer set solver Clingo ... clingcon algorithm adopts state-of-the-art techniques from SMT and uses conflict-driven learning...
  • SPIKE

  • Referenced in 37 articles [sw02780]
  • environment for solving banded linear systems. The hybrid banded linear solver SPIKE is proposed ... SPIKE algorithm is a domain decomposition technique that allows performing independent calculations on each subdomain...
  • HyBR

  • Referenced in 5 articles [sw29132]
  • increases and then decreases. Hybrid methods apply a standard regularization technique, such as Tikhonov regularization ... problem at each iteration. Thus, regularization in hybrid methods is achieved both by Krylov filtering...
  • REDLIB

  • Referenced in 5 articles [sw21175]
  • parametric safety analysis of linear hybrid systems, speed-up techniques for greatest fixpoint evaluation...