Changes between Version 4 and Version 5 of CglProbing


Ignore:
Timestamp:
May 30, 2006 6:37:23 PM (13 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CglProbing

    v4 v5  
    1616
    1717  * 2) If both ways are feasible, it can happen that [[BR]]
    18     ** 2.1) setting x to 0 implies that y must be set to 1 and[[BR]]
    19     ** 2.2) setting x to 1 implies that y must be set to 1 [[BR]]
     18    * 2.1) setting x to 0 implies that y must be set to 1 and[[BR]]
     19    * 2.2) setting x to 1 implies that y must be set to 1 [[BR]]
    2020    yielding again a column cut. (2.2 is not done in this code as there is no mechanism for returning the information.)
    2121
    2222  More common is that [[BR]]
    23   ** 2.3) setting x to 0 implies that y must be set to 1 and[[BR]]
    24   ** 2.4) setting x to 1 implies that y must be set to 0 [[BR]]
     23    * 2.3) setting x to 0 implies that y must be set to 1 and[[BR]]
     24    * 2.4) setting x to 1 implies that y must be set to 0 [[BR]]
    2525  so we can substitute for y which might lead later to more powerful cuts.
    2626