Search
Search Results
-
A Flexible and Accurate Solver for Continuous-Time Algebraic Riccati Equations
The solution of algebraic Riccati equations (AREs) is a fundamental computation in optimal control and other domains. Most of the available ARE...
-
swParaFEM: a highly efficient parallel finite element solver on Sunway many-core architecture
The simulation of three-dimensional stress and strain is a research hot spot of computational structural mechanics. As the complexity of the project...
-
Relational Solver for Java Generics Type System
We present a solver for Java generics type system implemented using relational verifier-to-solver approach. The solver finds solutions for a system... -
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
We introduce NeuroSynt, a neuro-symbolic portfolio solver framework for reactive synthesis. At the core of the solver lies a seamless integration of... -
A U-Shaped Spatio-Temporal Transformer as Solver for Motion Capture
Motion capture (MoCap) suffers from inevitable noises. The raw markers can be mislabeled, occluded, or contain positional noise, which must be... -
SpMV and BiCG-Stab sparse solver on Multi-GPUs for reservoir simulation
This paper is on a multi-GPU simulation of a petroleum reservoir using a 3D structured grid, where each point is represented by its state. Using the...
-
An Efficient Parallel Adaptive GMG Solver for Large-Scale Stokes Problems
We study the performance and scalability of the adaptive geometric multigrid method with the recently developed restricted additive Vanka (RAV)... -
Inverse Kinematics Solver Based on Evolutionary Algorithm and Gradient Descent for Free-Floating Space Robot
This paper investigates the inverse kinematics (IK) problem of free-floating space robot (FFSR) and proposes an IK solver called IK Solver Based on... -
Development of 3D Viscoelastic Crustal Deformation Analysis Solver with Data-Driven Method on GPU
In this paper, we developed a 3D viscoelastic analysis solver with a data-driven method on GPUs for fast computation of highly detailed 3D crustal... -
swSuperLU: A highly scalable sparse direct solver on Sunway manycore architecture
Sparse LU factorization is essential for scientific and engineering simulations. In this work, we present swSuperLU, a highly scalable sparse direct...
-
QMaxSATpb: A Certified MaxSAT Solver
While certification has been successful in the context of satisfiablity solving, with most state-of-the-art solvers now able to provide proofs of... -
A Model Driven Approach to Transform Business Vision-Oriented Decision-Making Requirement into Solution-Oriented Optimization Model
Currently in our highly connected society, there is a strong requirement for decision-makers in organizations to coordinate and schedule their... -
Efficient GPU Offloading with OpenMP for a Hyperbolic Finite Volume Solver on Dynamically Adaptive Meshes
We identify and show how to overcome an OpenMP bottleneck in the administration of GPU memory. It arises for a wave equation solver on dynamically... -
Z3str4: A Multi-armed String Solver
We present Z3str4, a new high-performance string SMT solver for a rich quantifier-free first-order theory of strings and length constraints. These... -
Optimizing the Production of Test Vehicles Using Hybrid Constrained Quantum Annealing
Optimization of pre-production vehicle configurations is one of the challenges in the automotive industry. Given a list of tests requiring cars with...
-
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
In 2006, Biere, Jussila, and Sinz made the key observation that the underlying logic behind algorithms for constructing Reduced, Ordered Binary... -
SMT Solver-Based Cryptanalysis of Block Ciphers
Satisfiability modulo theories (SMT) is a powerful framework for solving constraint satisfaction problem expressed in first-order logic and mainly...
-
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving
This paper presents Smt-Switch, an open-source, solver-agnostic API for SMT solving. Smt-Switch provides simple, uniform, and high-performance access... -
GPU-based matrix-free finite element solver exploiting symmetry of elemental matrices
Matrix-free solvers for finite element method (FEM) avoid assembly of elemental matrices and replace sparse matrix-vector multiplication required in...
-
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
We present a novel length-aware solving algorithm for the quantifier-free first-order theory over regex membership predicate and linear arithmetic...