• PSwarm

  • Referenced in 61 articles [sw00742]
  • PSwarm: a hybrid solver for linearly constrained global derivative-free optimization. PSwarm was developed originally...
  • Clingcon

  • Referenced in 36 articles [sw09892]
  • Clingcon is a hybrid solver combining the monolithic answer set solver Clingo...
  • SPIKE

  • Referenced in 36 articles [sw02780]
  • solving banded linear systems. The hybrid banded linear solver SPIKE is proposed as a parallel...
  • GOAL

  • Referenced in 13 articles [sw15098]
  • GOAL solver: a hybrid local search based solver for high school timetabling. This work presents ... Group of Optimization and Algorithms), developed a solver built upon the Kingston High School Timetabling ... structures were developed and used in a hybrid metaheuristic based on Simulated Annealing and Iterated...
  • HSolver

  • Referenced in 42 articles [sw07419]
  • program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages...
  • GAMER

  • Referenced in 10 articles [sw10937]
  • accelerated hydrodynamic and Poisson solvers; Hybrid OpenMP/MPI/GPU parallelization; Concurrent CPU/GPU execution for performance optimization; Hilbert...
  • LMHS

  • Referenced in 8 articles [sw16738]
  • LMHS: A SAT-IP hybrid maxsat solver. We describe LMHS, an open-source weighted partial ... maximum satisfiability (MaxSAT) solver. LMHS is a hybrid SAT-IP MaxSAT solver that implements...
  • Pueblo

  • Referenced in 29 articles [sw00743]
  • hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order ... approach include a light-weight and efficient hybrid learning and backjumping strategy for analyzing ... Experimental comparison of our method against other hybrid approaches is also demonstrated. Additionally, we provide ... MiniSAT-based implementation of our solver Pueblo to enable the reader to construct a similar...
  • HOPSPACK

  • Referenced in 11 articles [sw04187]
  • Hybrid Optimization Parallel Search PACKage. HOPSPACK solves derivative-free optimization problems in a C++ software ... experiment with writing their own derivative-free solvers...
  • PSPIKE

  • Referenced in 16 articles [sw07072]
  • PSPIKE: A parallel hybrid sparse linear system solver. The package PSPIKE is a high-performance...
  • G12

  • Referenced in 11 articles [sw10112]
  • Zinc models to underlying solvers and/or search strategies, including hybrid approaches. Finally, existing Mercury will ... language for building extensible and hybridizable solvers. The same Zinc model, used with different Cadmium ... experiment with different complete, local, or hybrid search approaches for the same problem. This talk...
  • EigenKernel

  • Referenced in 3 articles [sw29866]
  • libraries of ScaLAPACK, ELPA, EigenExa and hybrid solvers constructed from them, according to the problem ... reveals that ELPA, EigenExa and their hybrid solvers show better performance, when compared with pure...
  • SOSlib

  • Referenced in 4 articles [sw29331]
  • other derivatives. CVODES, the sensitivity-enabled ODE solver in the SUNDIALS package is used ... powerful and efficient analytic applications, hybrid solvers or multi-scale models with interfaces...
  • Flow123d

  • Referenced in 4 articles [sw13697]
  • network models. Current version includes mixed-hybrid solver for steady and unsteady Darcy flow, finite...
  • ShyLU

  • Referenced in 2 articles [sw18568]
  • ShyLU: A Hybrid-Hybrid Solver for Multicore Platforms. With the ubiquity of multicore processors ... architectures. We present ShyLU, a “hybrid-hybridsolver for general sparse linear systems that ... hybrid in two ways: First, it combines direct and iterative methods. The iterative part ... strategy. Second, the solver uses two levels of parallelism via hybrid programming (MPI+threads). ShyLU...
  • PSPIKE+

  • Referenced in 4 articles [sw18330]
  • PSPIKE+: A family of parallel hybrid sparse linear system solvers. We present PSPIKE ... family of parallel hybrid linear system solvers that are more robust than other available preconditioned...
  • HySAT

  • Referenced in 24 articles [sw01980]
  • hybrid systems, incorporating a tight integration of a DPLL-based pseudo-Boolean SAT solver ... decision strategies, and extends them to the hybrid domain. We demonstrate that those optimizations...
  • Slate

  • Referenced in 2 articles [sw31053]
  • Firedrake’s domain-specific abstraction to hybridized solvers for geoscience and beyond. Within the finite ... simulating geophysical flows. However, robust and efficient solvers for the resulting saddle-point and elliptic ... with Firedrake’s solver environment, allowing for the implementation of hybridization and static condensation ... demonstrate that hybridization shows great promise for improving the performance of solvers for mixed finite...
  • Nektar++

  • Referenced in 69 articles [sw11964]
  • differential equations (PDEs) within both continuous and hybridized discontinuous Galerkin (HDG) frameworks share the same ... parallelization techniques developed for the linear system solvers make a numerical scheme for elliptic PDEs...
  • SATLike

  • Referenced in 1 article [sw36041]
  • ways: clause weighting, unit propagation and hybridization for maximum satisfiability. Maximum Satisfiability (MaxSAT ... based solvers, leading to two hybrid MaxSAT solvers that push the state ... unweighted industrial benchmarks. The two hybridized solvers obtain significant improvements on both unweighted and weighted...