Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving.
Salwa Tabet GonzalezPredrag JanicicJulien NarbouxPublished in: CoRR (2024)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint solver
- constraint satisfaction
- automated theorem provers
- three dimensional
- real world
- constraint programming
- theorem prover
- computer algebra
- np complete
- temporal constraints
- theorem proving
- finite domain