Results 301 to 310 of about 3,379,264 (310)

Skin-Effect Loss Models for Time- and Frequency-Domain PEEC Solver

Proceedings of the IEEE, 2013
Giulio Antonini, Li Jun Jiang
exaly  

An Adaptive SAT Solver

2016
Audemard, Gilles, Lagniez, Jean-Marie, Szczepanski, Nicolas, Tabary, Sébastien   +3 more
openaire   +1 more source

X-SAT: An Efficient Circuit-Based SAT Solver

2025 62nd ACM/IEEE Design Automation Conference (DAC)
Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai   +3 more
openaire   +1 more source

A quadtree-adaptive multigrid solver for the Serre–Green–Naghdi equations

Journal of Computational Physics, 2015
Stéphane Popinet
exaly  

Stabilization of an open-source finite-volume solver for viscoelastic fluid flows

Journal of Non-Newtonian Fluid Mechanics, 2017
Francisco Pimenta, Manuel A Alves
exaly  

A multi-state HLL approximate Riemann solver for ideal magnetohydrodynamics

Journal of Computational Physics, 2005
Kanya Kusano
exaly  

Quantum Monte Carlo impurity solver for cluster dynamical mean-field theory and electronic structure calculations with adjustable cluster base

Physical Review B, 2007
Kristjan Haule
exaly  

Hardware-Accelerated SAT Solvers

openaire   +1 more source

Hybrid DPLL-Style SAT Solver

2007
openaire   +1 more source

Cube Subtraction in SAT Solvers

openaire   +1 more source