Searching for "On Anti-Links." – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
On Anti-Links
- … (EDT) X-Mailer: ELM [version 2.4 PL17] Content-Type: text Content-Length: 59824 Status: RO On Anti-Links…
- Add To MetaCart
-
On Anti-Links
- … Status: RO On Anti-Links + Bernhard Beckert # , Reiner H .. ahnle # , Anavai Ramesh * , and Neil V…
- Cited by 7 (7 self) – Add To MetaCart
-
Fast Subsumption Checks Using Anti-Links
- …Fast Subsumption Checks Using Anti-Links Anavai Ramesh y Intel Corporation, MS CH6-418, 5000 W…
- Cited by 4 (4 self) – Add To MetaCart
-
Anti-Links for Boolean Function Manipulation
- …Anti-Links for Boolean Function Manipulation Bernhard Beckert Reiner Hahnle Institute for Logic…
- Add To MetaCart
-
Simplification of Many-Valued Logic Formulas Using Anti-Links
- …Simplification of Many-Valued Logic Formulas Using Anti-Links Bernhard Beckert and Reiner Hahnle…
- Cited by 1 (1 self) – Add To MetaCart
-
Simplification of Many-Valued Formulas . . .
- …Simplification of Many-Valued Logic Formulas Using Anti-Links Bernhard Beckert and Reiner Hahnle…
- Add To MetaCart
-
Avoiding Tests for Subsumption +
- … potentially large number of subsumed paths in a negation normal form formula. Those anti-links that directly…
- Add To MetaCart
-
Detecting Link Spam using Temporal Information
- …: ‘link spam.’ Most of the previous work on anti link spam managed to make use of one snapshot of web data…
- Cited by 4 (0 self) – Add To MetaCart
-
Knowledge Compilation: Decomposable Negation Normal Form versus Linkless Formulas
- … dissolutions on L violate DNNF but form conjunctive anti-links [21] with L. Activating…
- Add To MetaCart
-
The Semi-Resolution Inference Rule and Prime Implicate Computations
- … created by dissolution are manifested by anti-links (a pair of distinct occurrences of the same literal…
- Cited by 4 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
