Tous les livres numériques de Toby Walsh en PDF et EPUB

3 Livre(s)
Télécharger le livre : Handbook of Satisfiability
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

183,10 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Handbook of Satisfiability
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

114,88 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Handbook of Constraint Programming
Handbook of Constraint Programming
Francesca Rossi , Peter Van Beek , Toby Walsh
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is...

Editeur : Elsevier Science
Parution : 2006-08-18
epub sans DRM

179,35 €
Téléchargement immédiat
Dès validation de votre commande