Constraint Resolution Theories
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 prop…
Mehr
CHF 47.90
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-1-4478-6888-0
- EAN: 9781447868880
- Produktnummer: 12227178
- Verlag: Lulu.com
- Sprache: Englisch
- Erscheinungsjahr: 2011
- Seitenangabe: 312 S.
- Masse: H23.4 cm x B15.6 cm x D1.6 cm 477 g
- Abbildungen: Paperback
- Gewicht: 477
9 weitere Werke von Denis Berthier:
Bewertungen
Anmelden