Open AccessIndependent verification and benchmark testing of the UNSAT-H computer code, Version 2.0
Author(s) -
R.G. Baca,
S.O. Magnuson
Publication year - 1990
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - English
Resource type - Reports
DOI - 10.2172/10172716
Subject(s) - computer science , correctness , benchmark (surveying) , software portability , test case , code (set theory) , algorithm , coding (social sciences) , programming language , mathematics , regression analysis , statistics , set (abstract data type) , machine learning , geodesy , geography
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom