Mathematics
Logic Programs
100%
Termination
72%
Prolog
62%
Sorting Networks
57%
Abstract Interpretation
44%
Symmetry Breaking
43%
Semantics
33%
Encoding
33%
Logic Programming
25%
Concurrent
23%
Graph Search
22%
Bottom-up
20%
Sharing
19%
Parallelism
17%
Boolean Functions
16%
Or-parallelism
15%
Propagation
14%
Search Problems
14%
Symmetry
14%
Graph Coloring
13%
Unification
13%
Libraries
13%
Worst-case Analysis
12%
Satisfiability
12%
Sorting
12%
Telecommunications
11%
Program Analysis
11%
Language
11%
Abstraction
11%
Ramsey number
10%
Ranking Function
10%
Programming
10%
Algebraic Approach
10%
Oracle
9%
Graph in graph theory
9%
Path
9%
Partial Order
8%
Information Sharing
8%
Experimentation
8%
Unfolding
8%
Demonstrate
7%
Logic
7%
Engine
7%
Monotonicity
7%
Binary
7%
Java
7%
Speedup
7%
Substitution
6%
Standards
6%
Specialization
6%
Engineering & Materials Science
Semantics
55%
Logic programming
46%
Boolean functions
42%
Sorting
39%
Substitution reactions
14%
Computer programming languages
13%
Scheduling
12%
Coloring
12%
Blasting
10%
Availability
9%
Engines
8%
Telecommunication
8%
Machine oriented languages
7%
Parallel programming
7%
Graph theory
6%
Binary decision diagrams
6%
Functional programming
5%
Polymorphism
5%
Formal languages
5%
Hamiltonians
5%
Object oriented programming
5%