Computer Science
Application Area
25%
Artificial Intelligence
37%
binary decision diagram
25%
Boolean Circuit
62%
Boolean Formula
16%
Boolean Function
33%
Case Study
37%
Combinational Circuit
25%
Computation Cost
50%
Computational Problem
62%
Computational Thinking
50%
Computer Science
100%
Conjunctive Normal Form
37%
Conventional Wisdom
25%
Dependent Variable
25%
Design Patterns
25%
Emerging Application
25%
Experimental Result
25%
Formalization
54%
Fundamental Component
50%
Fundamental Problem
37%
Generalized Solution
25%
Graphical Model
25%
Hard Constraint
25%
Hardware Design
50%
Industrial Control System
25%
Input/Output
75%
Intelligent Agent
25%
Intuitive Idea
50%
Mapping Specification
25%
Motion Planning
31%
multi agent
25%
Multiple Agents
25%
Network Control
25%
Neural Network
25%
Office Environment
31%
Open Source Tool
25%
Optimal Algorithm
50%
Output Relation
50%
Polynomial Time
62%
Probabilistic Reasoning
37%
Quantitative Approach
25%
Replanning
25%
Robot
50%
Soft Constraint
25%
Software Construction
50%
Synthesis Algorithm
75%
Temporal Logic
50%
Timing Analysis
25%
Universal Hashing
25%
Keyphrases
Adapter
25%
Adapter Pattern
25%
Algorithmic Properties
25%
Allele Discovery
25%
AllSAT
25%
Automatic Configuration
25%
Behavior Traces
25%
Binary Decision Diagram
25%
Boolean
72%
Boolean Circuits
18%
Boolean Formulas
18%
Boolean Functions
47%
Canadian Traveler Problem
75%
Combinational Circuits
25%
Computational Problems
24%
Computational Properties
25%
Computer Science
47%
Connectome
25%
Constrained Sampling
25%
Decomposition Problem
50%
Discrete-time Integration
25%
Disjoint Paths
21%
Dynamic Domains
25%
Finite Traces
25%
Functional Synthesis
79%
Human Genes
25%
Industrial Control Network
25%
Input-output
50%
Intelligent Agents
25%
Mapping Properties
25%
Mimicking Behavior
25%
Model Complexity
25%
Model Counting
37%
Output Variable
22%
Partial Satisfaction
50%
Path Graph
21%
Planners
33%
Reactive Synthesis
50%
SAT Solving
25%
Sequential Decomposition
22%
Solution Space
25%
State-of-the-art Techniques
23%
Synthesis Algorithm
64%
Temporal Logic Planning
25%
Temporal Planning
25%
Trace Properties
25%
Uncertain Environment
25%
Universal Hashing
25%
Unweighting
25%
Wireless
25%
