Comparative Analysis of High Performance Solvers for 3D Elasticity Problems.

Ivan Lirkov Yavor Vutov Maria Ganzha Marcin Paprzycki

Published in: NAA (2008)

Keyphrases

comparative analysis
decision problems
database
search engine
problems involving
sat solving
computationally hard problems