Télécharger le livre :  Applied Satisfiability
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

147,55

Téléchargement immédiat
Dès validation de votre commande