Handbook of Satisfiability: Frontiers in Artificial Intelligence and Applications (IOS Press)

Subliniem autoritatea academică a editorilor Armin Biere, Hans van Maaren și Toby Walsh, figuri centrale în informatica teoretică, care au coordonat această ediție monumentală pentru a reflecta progresele masive în rezolvarea automatizată a problemelor de satisfiabilitate (SAT). Handbook of Satisfiability nu este doar o compilație de algoritmi, ci o fundamentare teoretică și practică ce integrează decenii de cercetare în logică propozițională și algebră booleană, fiind recunoscută prin citatele unor personalități precum Donald Knuth sau Stephen Cook. Notăm cu interes structura acestei a doua ediții, care extinde aria de acoperire dincolo de SAT-ul clasic, incluzând secțiuni vitale despre SMT (Satisfiability Modulo Theories) și tehnici de programare prin constrângeri pentru probleme la nivel de cuvânt. Cu peste 1400 de pagini, volumul detaliază de la euristici și codificări de probleme până la aplicații industriale complexe și studii de caz empirice. Comparabil cu Theory and Applications of Satisfiability Testing de Fahiem Bacchus în rigurozitate, acest manual se distinge prin actualizarea sistematică a progreselor în solvere și simplificatori, oferind o perspectivă mult mai amplă asupra modului în care SAT a devenit o tehnologie cheie în verificarea hardware și software a secolului XXI. Ne-a atras atenția modul în care fiecare capitol este susținut de o bibliografie extensivă, transformând ediția într-o resursă critică pentru curriculumul universitar de nivel masteral și doctoral. Lucrarea reușește să pună în dialog cercetarea teoretică asupra complexității algoritmilor cu necesitățile practice ale ingineriei sistemelor de calcul moderne.