Questions marquées «smt-solvers»


2
Pourquoi certains moteurs d'inférence ont-ils besoin d'une assistance humaine alors que d'autres n'en ont pas?
Je suis d' apprentissage automatisé théorème prouvons / solveurs SMT / assistants de preuve par moi - même et après une série de questions au sujet du processus, en commençant ici . Pourquoi les prouveurs de théorèmes automatisés, c'est-à-dire ACL2 et les solveurs SMT, n'ont-ils pas besoin de l'assistance humaine …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.