Mathematics
Logic Programs
100%
Termination
70%
Prolog
56%
Sorting Networks
49%
Abstract Interpretation
39%
Encoding
33%
Symmetry Breaking
32%
Semantics
29%
Bottom-up
22%
Concurrent
20%
Sharing
18%
Logic Programming
17%
Graph Search
17%
Parallelism
15%
Boolean Functions
15%
Abstraction
14%
Or-parallelism
13%
Propagation
13%
Unification
13%
Graph Coloring
12%
Satisfiability
11%
Libraries
11%
Symmetry
11%
Worst-case Analysis
10%
Search Problems
10%
Sorting
10%
Telecommunications
9%
Program Analysis
9%
Language
9%
Ramsey number
9%
Ranking Function
8%
Algebraic Approach
8%
Graph in graph theory
8%
Oracle
8%
Experimental Evaluation
8%
Path
7%
Partial Order
7%
Information Sharing
7%
Norm
7%
Approximation
7%
Programming
6%
Unfolding
6%
Demonstrate
6%
Logic
6%
Framework
6%
Engine
6%
Monotonicity
6%
Binary
6%
Simplify
6%
Java
6%
Engineering & Materials Science
Semantics
38%
Logic programming
38%
Sorting
34%
Boolean functions
31%
Coloring
10%
Substitution reactions
10%
Computer programming languages
9%
Scheduling
9%
Blasting
8%
Computer science
7%
Engines
7%
Telecommunication
7%
Machine oriented languages
6%
Graph theory
5%
Binary decision diagrams
5%
Functional programming
5%
Availability
5%
Flavors
5%