Automated Reasoning with Tangles: towards Quantum Verification Applications.
Andrew FishAlexei LisitsaPublished in: LPAR Complementary Volume (2024)
Keyphrases
- automated reasoning
- automated verification
- reasoning systems
- knowledge representation
- theorem prover
- probabilistic reasoning
- theorem proving
- decision procedures
- reasoning tasks
- model checking
- quantum computing
- quantum computation
- knowledge representation and reasoning
- machine learning
- first order logic
- formal verification
- neural network
- general purpose
- computational complexity
- prime implicants
- data mining