Newsgroups: comp.ai.neural-nets
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!agate!hpg30a.csc.cuhk.hk!eng_ser1!wltam
From: wltam@cs.cuhk.hk (Vincent Tam)
Subject: Proof for energy minimization
Message-ID: <D2svtE.Ct4@eng_ser1.erg.cuhk.hk>
Lines:  20
Sender: news@eng_ser1.erg.cuhk.hk
Organization: Engineering Faculty, The Chinese U. of Hong Kong
X-Newsreader: TIN [version 1.2 PL2]
Date: Sun, 22 Jan 1995 09:31:59 GMT

Hi,

	I've read Pinkas's paper on "Energy Minimization and the
Satisfiability of Propositional Logic". In general, I'm very interested
in any proof for the monotonic decrease of energy function of any model
in the family of "energy minimization" models such as Hopfield model for
quadratic binary function. Besides, it's mentioned in the paper that the
there's also proof for the monotonic decrease of higher order energy
function in the extended model. Can anyone give me a pointer to
the list of papers (with ftp sites ?) for these proofs ? Also, does
anyone know the email address of the author of this paper ? 

Thanks in advance !

P.S. Postal addr. of the author is Gadi Pinkas, 
Department of Computer Science, Washington University, St.Louis, MO 63130. 

Regards,
Vincent.
