Computer Science
Privacy Preserving
100%
Knowledge Protocol
100%
Knowledge Proof
75%
Computation Tree
50%
Independent Set
50%
Programming Language
50%
spam
50%
Parallelization
50%
Problem Instance
50%
Model Checking
50%
e-Mail
50%
Graph Algorithms
50%
Autonomous System
30%
Use Case
30%
Boolean Formula
25%
Satisfying Assignment
25%
Integer-Linear Programming
25%
Including Linux
25%
Combinatorial Optimisation
25%
Degree Polynomial
25%
Formal Semantics
25%
Linux
25%
Random Access
25%
Cluster Computing
25%
Cryptographic Primitive
25%
secure multiparty computation
20%
digraph
20%
spam filter
14%
Machine Learning
14%
Exponential Complexity
12%
Future Direction
12%
Routing Protocol
10%
Interdomain Routing
10%
Computational System
10%
Polynomial Algorithm
10%
Subclasses
10%
Graph Representation
10%
Data Structure
10%
Machine Learning Algorithm
7%
Naïve Approach
7%
Keyphrases
Privacy-preserving Computation
50%
UNSAT
50%
Stable Path Problems
50%
Privacy-preserving Model
25%
Pseudo-Boolean Optimization
25%
Resolution Proofs
25%
Encrypted Email
25%
Cutting Algorithm
25%
Path Assignment
18%
NP Formalism
12%
Proof Structures
12%
DPLL Procedure
12%
Conflict-driven Clause Learning
12%
Inter-domain Routing System
6%
Compact Graph
6%
Distributed Routing Protocol
6%
