Mathematics
Acyclicity
79%
Answer Set Programming
81%
Benchmark
56%
Compactness
48%
Decomposable
58%
Elimination
13%
Encoding
57%
Global Optimality
19%
Graphical Models
67%
Greedy Heuristics
20%
Knowledge Representation
77%
Language
41%
Learning
52%
Linear programming
51%
Logic
56%
Logic Programming
69%
Markov Chain Monte Carlo
14%
Model
9%
Optimality
12%
Optimization
43%
Performance
34%
Propositional Logic
64%
Pruning
18%
Search Methods
17%
Simulated Annealing
17%
Statistical Model
14%
Stochastic Algorithms
17%
Stochastic Simulation
18%
Strategy
10%
Structural Properties
58%
Time Complexity
15%
Tree Structure
72%
Engineering & Materials Science
Clocks
48%
Decision making
41%
Directed graphs
22%
Knowledge representation
62%
Linear programming
52%
Logic programming
67%
Observability
63%
Planning
100%
Scalability
38%
Schematic diagrams
65%
Structural properties
62%
Surface mount technology
66%
Arts & Humanities
Benchmark
33%
Compactness
41%
Computational
25%
Encoding
56%
Formalism
28%
Knowledge Representation
36%
Logic
16%
Logic Programming
34%
Performance
10%
Programming
55%
Propositional Logic
33%
Structural Properties
34%
