Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure - Christian Herde
- Format: Broché Voir le descriptif
80,79 €
Produit Neuf
Ou 20,20 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 28 septembre
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure de Christian Herde Format... - Livre
0 avis sur Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure de Christian Herde Format... - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure de Christian Herde Format...
- Livre
Résumé :
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.
Biographie:
.
Sommaire:
Dr. Christian Herde completed his doctoral thesis under the supervision of Prof. Dr. Martin Fr?nzle at the Department of Computing Science at the University of Oldenburg, Germany....
Détails de conformité du produit
Personne responsable dans l'UE