Ebooks de Xiaojuan Liao en PDF et EPUB

1 Livre(s)
Télécharger le livre : Applied Satisfiability
Ajouter à ma liste d'envies
Applied Satisfiability
Miyuki Koshimura , Xiaojuan Liao
Apply satisfiability to a range of difficult problems The Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its...

Editeur : Wiley
Parution : 2024-12-30

PDF, ePub

Offre spéciale   -9%  139,20€  
125,99 €