
WASP
 Referenced in 40 articles
[sw09565]
 WASP adopts the BerkMin criterion hybridized with lookahead 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 ... simulationbased 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 PseudoBoolean (PB) constraints into ... achieve this, we adopt the cuttingplane technique to draw inferences among PB constraints ... approach include a lightweight 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 codegenerating framework. The resulting ... solver environment, allowing for the implementation of hybridization and static condensation as runtimeconfigurable preconditioners...

Flow*
 Referenced in 22 articles
[sw20162]
 linear (polynomial) hybrid systems. Flow* combines wellknown Taylor model arithmetic techniques for guaranteed approximations ... series of nonlinear 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 welldefined 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 stateoftheart techniques from SMT and uses conflictdriven 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, speedup techniques for greatest fixpoint evaluation...