Keyphrases
Logic Programming
94%
Prolog
37%
Abstract Interpretation
34%
Termination Analysis
27%
Sorting Networks
22%
SAT Solver
22%
Boolean
20%
Symmetry Breaking
20%
Program Analysis
16%
Semantic Bases
14%
Symmetry Breaking Constraints
13%
Parallelization
12%
SAT-based
11%
Shift-share Analysis
11%
Graph Search
10%
SAT Solving
10%
Abstract Domains
10%
Boolean Functions
10%
Finite Domain Constraints
9%
Constraint-based Modeling
8%
Equus
8%
SAT Encoding
8%
Size-change Termination
7%
Positive Boolean Function
7%
Model-based Diagnosis
7%
Size Change
7%
Order of Magnitude
7%
Satisfiability Solvers
7%
Cardinality
6%
Efficient Implementation
6%
Dependency Analysis
6%
Compiler
6%
Scheduling Policy
6%
Termination Condition
6%
Finite Domain
6%
Interpreter
6%
Combinatorial Problems
5%
Undirected Graph
5%
Constraint Logic Programs
5%
Operational Semantics
5%
Constraint Solver
5%
Prover
5%
Logic Language
5%
Computer Science
Logic Programming
100%
Termination Analysis
33%
Abstract Interpretation
31%
Boolean Function
19%
Program Analysis
17%
Approximation (Algorithm)
14%
Proving Termination
13%
Cardinality
13%
Finite Domain Constraint
10%
Efficient Implementation
9%
Parallelism
9%
Interpreter
8%
Search Strategies
7%
Propositional Formula
7%
Combinatorial Problem
7%
Directed Graphs
7%
Ranking Function
7%
Scheduling Policy
6%
Operational Semantics
6%
Program Transformation
6%
Logic Language
6%
Unification Algorithm
5%
Constraint Solver
5%
Basic Operation
5%
Comparator
5%
