Keyphrases
- symbolic execution
- hardware designs
- quantum computing
- expressive power
- modal logic
- model checking
- computer programs
- inference rules
- epistemic logic
- formal verification
- classical logic
- quantum inspired
- data sets
- information systems
- artificial intelligence
- quantum computation
- face verification
- propositional calculus
- program execution
- fixpoint
- knowledge base
- learning algorithm
- neural network