Similar Items: GVEC: A flexible 3D MHD equilibrium solver
- A Flexible Proof Format for SAT Solver-Elaborator Communication
- Infinite sequential Nash equilibrium
- Nash Equilibrium and Bisimulation Invariance
- JSOSolvers.jl: Unconstrained and bound-constrained optimization solvers
- MHD flows at astropauses and in astrotails
- Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution