Re: Simplification: science or heuristics?

From: Richard Fateman (fateman_at_cs.berkeley.edu)
Date: 01/20/05 

Date: Thu, 20 Jan 2005 16:39:47 GMT

carlos@colorado.edu wrote:

> Richard Fateman wrote:
>
>>>>>Question: are there standard algorithms used by most CAS
>>>>>systems to do ES, and are those explained in books?
>>
>>http://portal.acm.org/citation.cfm?id=362648
>>
>>(since 1971 there have been a few advances, but
>>most of the article is still valid.)
>
>
> I am surprised. During the same period (1971-date) there have been
> significant (some may say huge) advances in discrete and combinatorial
> optimization. I would have tought that ES can be posed as a discrete
> optimization process with rule constraints.
>

If you read the
cited article you will see why that is unlikely that you can define
appropriate constraints.

Relevant Pages
Quantcast