Property Invariant Embedding for Automated Reasoning.
Miroslav OlsákCezary KaliszykJosef UrbanPublished in: CoRR (2019)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem prover
- probabilistic reasoning
- theorem proving
- decision procedures
- reasoning tasks
- automated verification
- knowledge representation and reasoning
- prime implicants
- search algorithm
- computational complexity
- constraint satisfaction
- probabilistic inference
- propositional satisfiability