Articles liés à Constraint Resolution Theories
Synopsis
"Constraint Resolution Theories" introduces a pure logic perspective of the finite Constraint Satisfaction Problem (CSP), with emphasis on finding the "simplest" solution. Based on constructive logic, the resolution paradigm involves resolution rules, i.e. logical formulæ in the condition-action form, where the condition pattern implies the elimination of a candidate (a possible value for a CSP variable). Defining a resolution theory as a set of resolution rules, it introduces several families of such theories. Each of them carries its own notion of simplicity, defines a rating of CSP instances and satisfies two main theorems: the confluence property (guaranteeing that the associated rating has good computational properties) and a correspondence with a form of structured search procedure without guessing (Trial-and-Error). Throughout the book, Sudoku is used for illustrative purposes.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
"Constraint Resolution Theories" introduces a pure logic perspective of the finite Constraint Satisfaction Problem (CSP), with emphasis on finding the "simplest" solution. Based on constructive logic, the resolution paradigm involves resolution rules, i.e. logical formulæ in the condition-action form, where the condition pattern implies the elimination of a candidate (a possible value for a CSP variable). Defining a resolution theory as a set of resolution rules, it introduces several families of such theories. Each of them carries its own notion of simplicity, defines a rating of CSP instances and satisfies two main theorems: the confluence property (guaranteeing that the associated rating has good computational properties) and a correspondence with a form of structured search procedure without guessing (Trial-and-Error). Throughout the book, Sudoku is used for illustrative purposes.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 18,13
EUR 4,63 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour Constraint Resolution Theories
Image d'archives
Constraint Resolution Theories
Edité par
Lulu.com, 2011
ISBN 10 : 1447868889
ISBN 13 : 9781447868880
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Tampon ou marque sur la face intérieure de la couverture. Couverture différente. Edition 2011. Ammareal reverse jusqu'à 15% du prix net de cet article à des ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Stamp or mark on the inside cover page. Different cover. Edition 2011. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur C-892-257
Quantité disponible : 1 disponible(s)
Image d'archives
Constraint Resolution Theories
Edité par
Lulu Press, Inc., 2011
ISBN 10 : 1447868889
ISBN 13 : 9781447868880
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781447868880_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Constraint Resolution Theories
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9781447868880
Quantité disponible : Plus de 20 disponibles
Image d'archives
Constraint Resolution Theories
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9781447868880
Quantité disponible : Plus de 20 disponibles
Image d'archives
Constraint Resolution Theories
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9781447868880
Quantité disponible : 10 disponible(s)
Image d'archives
Constraint Resolution Theories
impression à la demandeVendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 470. N° de réf. du vendeur C9781447868880
Quantité disponible : Plus de 20 disponibles
Image d'archives
Constraint Resolution Theories
Edité par
Lulu Press, Inc., 2011
ISBN 10 : 1447868889
ISBN 13 : 9781447868880
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781447868880
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Constraint Resolution Theories
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 'Constraint Resolution Theories' introduces a pure logic perspective of the finite Constraint Satisfaction Problem (CSP), with emphasis on finding the 'simplest' solution. Based on constructive logic, the resolution paradigm involves resolution rules, i.e. logical formulæ in the condition-action form, where the condition pattern implies the elimination of a candidate (a possible value for a CSP variable). Defining a resolution theory as a set of resolution rules, it introduces several families of such theories. Each of them carries its own notion of simplicity, defines a rating of CSP instances and satisfies two main theorems: the confluence property (guaranteeing that the associated rating has good computational properties) and a correspondence with a form of structured search procedure without guessing (Trial-and-Error). Throughout the book, Sudoku is used for illustrative purposes. N° de réf. du vendeur 9781447868880
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Constraint Resolution Theories
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Klappentextrnrn Constraint Resolution Theories introduces a pure logic perspective of the finite Constraint Satisfaction Problem (CSP), with emphasis on finding the simplest solution. Based on constructive logic, the resolution paradigm invol. N° de réf. du vendeur 447769015
Quantité disponible : Plus de 20 disponibles
Image d'archives
Constraint Resolution Theories
Edité par
Lulu Press, Inc., 2011
ISBN 10 : 1447868889
ISBN 13 : 9781447868880
Neuf
Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 312. N° de réf. du vendeur 26131557878
Quantité disponible : 4 disponible(s)