Arturo,
In the proposal, the description of solving 2 soft constraints is described as:
- Consider two soft constraints c1 and c2, such that c1 has higher priority than c2.
1. The constraint solver will first try to produce a solution satisfying both c1 and c2.
2. If it fails in (1) then it will try to produce a solution satisfying only c1.
3. If it fails in (2) then it will try to produce a solution satisfying only c2.
4. If it fails in (3) then it will discard both c1 and c2.
Can you please explain what it means for the solver to fail? When is it considered to fail? When there is a contradiction or the solver is unable to find
a solution in a timely manner after many trials?
Francoise
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Sep 27 10:17:47 2011
This archive was generated by hypermail 2.1.8 : Tue Sep 27 2011 - 10:17:49 PDT