Adapting Real Quantifier Elimination Methods for Conflict Set Computation
Résumé
Domaines
Logique en informatique [cs.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Pascal Fontaine : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01240343
Soumis le : jeudi 17 décembre 2015-23:20:13
Dernière modification le : mercredi 24 juillet 2024-10:30:03
Archivage à long terme le : samedi 29 avril 2017-20:36:43