[comp.theory] Algebraic Simplification by Simulated Annealing

marko.petkovsek%uni-lj.ac.mail.yu@VM1.NODAK.EDU (Marko Petkovsek) (01/08/91)

I am looking for references to research done on the use of simulated annealing
for simplification of algebraic expressions. Almost certainly people have
tried s.a. for minimization of Boolean expressions. What about simplification
in commutative and noncommutative rings? Any suggestions about where to look
would be welcome.

Many thanks in advance!

--Marko Petkovsek
  marko.petkovsek@uni-lj.ac.mail.yu