Ebooks de Toby Walsh en PDF

2 Livre(s)
Télécharger le livre : Handbook of Satisfiability
Ajouter à ma liste d'envies
Handbook of Satisfiability
Armin Biere , Hans Van Maaren , Toby Walsh
Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can...

Editeur : SAGE Publications Ltd
Parution : 2021-05-15

PDF

185,90 €
Télécharger le livre : Handbook of Satisfiability
Ajouter à ma liste d'envies
Handbook of Satisfiability
Armin Biere , Hans Van Maaren , Toby Walsh
“Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they...

Editeur : SAGE Publications Ltd
Parution : 2009-01-15

PDF

116,64 €