Advanced Tools and Methods for Treewidth-Based Problem Solving
This book, Advanced Tools and Methods for Treewidth-Based Problem Solving, contains selected results from the author's PhD studies, which were carried out from 2015 to 2021. For his PhD thesis, Markus Hecher received the EurAI Dissertation Award 2021 and the GI Dissertation Award 2021, amongst...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
London :
SAGE Publications
2022.
Paris : Cyberlibris |
| On-line přístup: | Accès Université d'Orléans et IFPM |
| Poznámka: |
Couverture. https://static2.cyberlibris.com/books_upload/300pix/9781643683454.jpg Cyberlibris (ScholarVox) corpus Informatique |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advanced Tools and Methods for Treewidth-Based Problem Solving, Markus Hecher, London, SAGE Publications, 2022, 1 vol. (252 p.), 978-16-4368-344-7 |
| LEADER | 02416nam a22002177a 4500 | ||
|---|---|---|---|
| 001 | 1361468 | ||
| 008 | 251023s2022 xxg ||| |||| 00| 0 eng d | ||
| 009 | PPN291421210 | ||
| 020 | |a 9781643683454 | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Hecher, Markus. | |
| 245 | 1 | 0 | |a Advanced Tools and Methods for Treewidth-Based Problem Solving |c Markus Hecher. |
| 260 | |a London : |b SAGE Publications. | ||
| 260 | |a Paris : |b Cyberlibris, |c 2022. | ||
| 500 | |a Couverture. https://static2.cyberlibris.com/books_upload/300pix/9781643683454.jpg | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Informatique | ||
| 506 | |a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement. Cyberlibris | ||
| 520 | |a This book, Advanced Tools and Methods for Treewidth-Based Problem Solving, contains selected results from the author's PhD studies, which were carried out from 2015 to 2021. For his PhD thesis, Markus Hecher received the EurAI Dissertation Award 2021 and the GI Dissertation Award 2021, amongst others. The aim of the book is to present a new toolkit for using the structural parameter of treewidth to solve problems in knowledge representation and reasoning (KR) and artificial intelligence (AI), thereby establishing both theoretical upper and lower bounds, as well as methods to deal with treewidth efficiently in practice. The key foundations outlined in the book provide runtime lower bounds - under reasonable assumptions in computational complexity - for evaluating quantified Boolean formulas and logic programs which match the known upper bounds already published in 2004 and 2009. The general nature of the developed tools and techniques means that a wide applicability beyond the selected problems and formalisms tackled in the book is anticipated, and it is hoped that the book will serve as a starting point for future theoretical and practical investigations, which will no doubt establish further results and gain deeper insights | ||
| 776 | 0 | |t Advanced Tools and Methods for Treewidth-Based Problem Solving |f Markus Hecher |c London |n SAGE Publications |d 2022 |p 1 vol. (252 p.) |z 978-16-4368-344-7 | |
| 856 | 4 | |5 452349901:867115963 |u https://ezproxy.univ-orleans.fr/login?url=https://univ.scholarvox.com/book/88973904 |z Accès Université d'Orléans et IFPM | |
| 997 | |0 1361468 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ | ||