.

Personnaliser

OK
Toutilibris
Toutilibris
icons /french flag

Pro

icons / nav24 / chevron right
4,6/5 sur + de 1 000 ventes

Mentions légales

Problème Sat - Progrès Et Défis - Saïs Lakhdar

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

93,00 €

Produit Neuf

  • Ou 23,25 € /mois

    • Livraison à 0,01 €
    • Livré entre le 15 et le 20 mai
    Voir les modes de livraison

    Toutilibris

    PRO Vendeur favori

    4,6/5 sur + de 1 000 ventes

    Libraire professionnel. Livre neuf. Expédition sous 3 à 6 jours. Suivi par mail.

    Voir plus d'annonces
    sur tout le site Rakuten
     
    Vous avez choisi le retrait chez le vendeur à
    • 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 !

    En savoir plus

    Retour

    Horaires

        Note :

        Présentation Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché

         - Livre Informatique

        Livre Informatique - Saïs Lakhdar - 01/04/2008 - Broché

        . .

      • Auteur(s) : Saïs Lakhdar
      • Editeur : Hermes Science Publications
      • Collection : Contra
      • Parution : 01/04/2008
      • Nombre de pages : 352
      • Nombre de livres : 1
      • Expédition : 550
      • Dimensions : 23.4 x 15.6 x 0.16
      • ISBN : 9782746218864



      • Résumé :
        Cet ouvrage analyse les techniques actuelles du problème de satisfiabilité propositionnelle (SAT) et étudie ses défis majeurs. Ce problème fondamental se trouve au coeur de la théorie de la complexité et intervient dans de nombreux domaines tels que la logique mathématique, la déduction automatique et la programmation par contraintes. Les avancées spectaculaires obtenues sur la résolution pratique de ce problème NP-Complet de référence font aujourd'hui de SAT un formalisme puissant de modélisation et de résolution de nombreux problèmes importants incluant la vérification de matériel et de logiciels. Ces résultats ont bénéficié d'une synergie forte entre la théorie, les développements algorithmiques et les applications industrielles. Problème SAT, progrès et défis couvre divers aspects qui v

        Biographie:
        Lakhdar Saïs, professeur des universités est responsable du groupe "Algorithmes pour l'inférence et la prise de décision" au centre de recherche en informatique de Lens. Ses axes de recherche incluent le problème de la satisfiabilité (SAT), les formules booléennes quantifiées (QBF) et les problèmes de satisfaction de contraintes (CSP).

        © Notice établie par DECITRE, libraire

        Détails de conformité du produit

        Consulter les détails de conformité de ce produit (

        Personne responsable dans l'UE

        )

        Avis sur Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché  - Livre Informatique

        Note : 0 0 avis sur Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché  - Livre Informatique

        Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


        Le choixNeuf et occasion
        Minimum5% remboursés
        La sécuritéSatisfait ou remboursé
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        Rakuten Logo
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com