Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery.
Kristina AleksandrovaJan JakubuvCezary KaliszykPublished in: LPAR (2024)
Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- proof search
- automated theorem provers
- semi automated
- knowledge discovery
- pattern discovery
- automated analysis
- databases
- computer assisted
- information retrieval
- proof procedure
- inference rules
- fully automated
- data driven
- genetic algorithm
- context sensitive
- case study
- composition of web services
- geometry theorem proving