|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
w1.l1 + w2.l2 + ... wn.ln >= degree
where wi are position integers and li are domain objects.
w1.l1 + w2.l2 + ... wn.ln <= degree
where wi are position integers and li are domain objects.
howmany variables in the problem (and thus in the
vocabulary), that will be represented using the Dimacs format by integers
ranging from 1 to howmany.
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||