works on
density functional theory 1electronic structure 1high-performance computing 1open-source software 1plane-wave methods 1pseudopotentials 1

From the 1 of 5.5k papers with an AI index.

researchers with a paper here
collaborating institutions
Showing 1993Show all

1 paper · 1 filter

cs.AI1993

An Empirical Analysis of Search in GSAT

I. P. Gent, T. Walsh

We describe an extensive study of search in GSAT, an approximation procedure for propositional satisfiability. GSAT performs greedy hill-climbing on the number of satisfied clauses…