Results 281 to 290 of about 3,379,264 (310)

Impact of Community Structure on SAT Solver Performance

International Conference on Theory and Applications of Satisfiability Testing, 2014
Zack Newsham, Vijay Ganesh, S. Fischmeister, Gilles Audemard, Laurent Simon   +4 more
semanticscholar   +1 more source

DiscretizationNet: A machine-learning based solver for Navier–Stokes equations using finite volume discretization

Computer Methods in Applied Mechanics and Engineering, 2021
Rishikesh Ranade
exaly  

A general memristor-based partial differential equation solver

Nature Electronics, 2018
Mohammed A Zidan, YeonJoo Jeong, Jihang Lee   +2 more
exaly  

P-LINCS:  A Parallel Linear Constraint Solver for Molecular Simulation

Journal of Chemical Theory and Computation, 2008
Berk Hess
exaly  

A Study of the Parallelization of Hybrid SAT Solver using CUDA

, 2014
Taeill Yoo, Sangpil Kim, Yongjin Yeom, Ju-Sung Kang   +3 more
semanticscholar   +1 more source

An accurate adaptive solver for surface-tension-driven interfacial flows

Journal of Computational Physics, 2009
Stéphane Popinet
exaly  

A reconfigurable, pipelined, conflict directed jumping search SAT solver

Design, Automation and Test in Europe, 2011
M. Safar, M. El-Kharashi, M. Shalan, A. Salem   +3 more
semanticscholar   +1 more source

dsmcFoam+: An OpenFOAM based direct simulation Monte Carlo solver

Computer Physics Communications, 2018
Craig White, Stephen Longshaw
exaly  

MESMER: An Open-Source Master Equation Solver for Multi-Energy Well Reactions

Journal of Physical Chemistry A, 2012
David Glowacki, Struan H Robertson
exaly  

A novel parabolic trough solar collector model – Validation with experimental data and comparison to Engineering Equation Solver (EES)

Energy Conversion and Management, 2015
Omar Behar, Abdallah khellaf, Kamal Mohammedi   +2 more
exaly