SEARCH · Search NASA

Results for “Heuristics Random Instances GSAT 3-SAT”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

1 records

All sources NASA NTRS DOE OSTI

NASA NTRS1997

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.

Heuristics Random Instances GSAT 3-SAT↗