A Massively Parallel Algorithm For the Solution of Constrained Equations of Motion with Applications to Large-Scale, Long-Time Molecular Dynamics

摘要

In this paper, we we analyze a number of tie-breaking staragegies for GSAT and evaluate the strategies for GSAT and evaluate the strategies empirically usuing randomly generated 3-SAT instances from a hard distribution of random instances.