Changes between Version 19 and Version 20 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Sep 26, 2014, 11:17:22 AM (10 years ago)
Author:
elshar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v19 v20  
    3535}}} 
    3636Further, constraints must ensure that exactly one variable will be selected: 
    37 * In Boolean formula: 
    38 {{{ 
    39 VARIABLE=n XOR VARIABLE=value1 XOR ... XOR VARIABLE=valueN 
    40 }}} 
    41 * In DIMACS: 
     37* In DIMACS/Boolean formula: 
    4238{{{ 
    4339Not(VARIABLE=n) OR Not(VARIABLE=value1) 
    … …  
    4844... 
    4945Not(VARIABLE=value1) OR Not(VARIABLE=valueN) 
    50 ... 
    51 VARIABLE=n OR VARIABLE=value1 OR ... OR VARIABLE=valueN 
    5246}}} 
    5347All combinations of 2 negated variables + 1 constraint were all variables are used in a positive combination.