Search results

You searched for Negation

There is no page titled "Negation".

For more information about searching APIDesign, see Help.

Showing below 2 results starting with #1.

View (previous 20) (next 20) (20 | 50 | 100 | 250 | 500)

No page title matches

LibraryReExportIsNPComplete (12,129 bytes)
7: ...sNPComplete|this]] proof is that it does not need negation at all. Instead it deals with re-export of an [[A...
17: ...x_{ab}</math> is a variable <math>v_i</math> or a negation of a variable <math>\neg v_i</math>. Each variabl...
51: ...iable's module. In case the variable is used with negation, it will depend on version ''2.0'', otherwise on ...
75: ...j</math> is true. Or <math>x_{iq}</math> contains negation, and as such <math>F^i_{1.q}</math> depends on <m...
RangeDependenciesNP (3,607 bytes)
32: ...iable's module. In case the variable is used with negation, it will depend on version ''1.0'', otherwise on ...

View (previous 20) (next 20) (20 | 50 | 100 | 250 | 500)