Dans ce cours, vous apprendrez à appliquer les outils de satisfiabilité (SAT/SMT) pour résoudre un large éventail de problèmes. Plusieurs exemples de base sont donnés pour avoir un aperçu des applications : l'ajustement de rectangles à appliquer pour l'impression d'affiches, les problèmes d'ordonnancement, la résolution de puzzles, et la correction de programmes. La théorie sous-jacente est également présentée : la résolution comme approche de base pour la satisfiabilité propositionnelle, le cadre CDCL pour passer à l'échelle pour les grandes formules, et la méthode du simplexe pour traiter les inégalités linéaires. L'approche légère pour suivre le cours Automated Reasoning : satisfiability consiste simplement à regarder les conférences et à faire les quiz correspondants. Pour avoir un aperçu du sujet, cette approche peut s'avérer efficace. Cependant, l'approche la plus intéressante est de s'en servir comme base pour appliquer SAT/SMT vous-même sur plusieurs problèmes, par exemple sur les problèmes présentés dans le devoir d'honneur.

Raisonnement automatisé : satisfiabilité
Développez vos compétences avec Coursera Plus pour 239 $/an (habituellement 399 $). Économisez maintenant.

45 avis
Compétences que vous acquerrez
- Catégorie : Algorithms
- Catégorie : Theoretical Computer Science
- Catégorie : Arithmetic
- Catégorie : Mathematical Modeling
- Catégorie : Applied Mathematics
- Catégorie : Combinatorics
- Catégorie : Logical Reasoning
- Catégorie : Verification And Validation
- Catégorie : Linear Algebra
- Catégorie : Computational Logic
Détails à connaître

Ajouter à votre profil LinkedIn
19 devoirs
Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées

Il y a 4 modules dans ce cours
Instructeur

Offert par
En savoir plus sur Algorithmes

University of Colorado Boulder

University of London

University of Leeds
Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?

Felipe M.

Jennifer J.

Larry W.

Chaitanya A.
Avis des étudiants
- 5 stars
82,22 %
- 4 stars
13,33 %
- 3 stars
4,44 %
- 2 stars
0 %
- 1 star
0 %
Affichage de 3 sur 45
Révisé le 16 août 2019
Good course, but some quizes are a bit confusing :)Thank you very much professor.
Révisé le 2 mai 2020
More programming problems (probably on the later half) would be really interesting and helpful
Révisé le 1 août 2019
The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers

Ouvrez de nouvelles portes avec Coursera Plus
Accès illimité à 10,000+ cours de niveau international, projets pratiques et programmes de certification prêts à l'emploi - tous inclus dans votre abonnement.
Faites progresser votre carrière avec un diplôme en ligne
Obtenez un diplôme auprès d’universités de renommée mondiale - 100 % en ligne
Rejoignez plus de 3 400 entreprises mondiales qui ont choisi Coursera pour les affaires
Améliorez les compétences de vos employés pour exceller dans l’économie numérique
Foire Aux Questions
Plus de questions
Aide financière disponible,


