A Framework for Autonomous Generation of Strategies in Satisfiability Modulo Theories
La génération de stratégies pour les solveurs en Satisfiabilité Modulo des Théories (SMT) nécessite des outils théoriques et pratiques qui permettent aux utilisateurs d’exercer un contrôle stratégique sur les aspects heuristiques fondamentaux des solveurs de SMT, tout en garantissant leur performanc...
Main Author: | Galvez Ramirez, Nicolas |
---|---|
Other Authors: | Angers |
Language: | en |
Published: |
2018
|
Subjects: | |
Online Access: | http://www.theses.fr/2018ANGE0026/document |
Similar Items
-
Certification of static analysis in many-sorted first-order logic
by: Cornilleau, Pierre-Emmanuel
Published: (2013) -
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique
by: Lick, Anthony
Published: (2019) -
Finite model finding in satisfiability modulo theories
by: Reynolds, Andrew Joseph
Published: (2013) -
⌈-Pomset pour la modélisation et la vérification de systèmes parallèles
by: Sakho, Mouhamadou Tafsir
Published: (2014) -
Formally certified satisfiability solving
by: Oe, Duck Ki
Published: (2012)