Kniha momentálne nie je na sklade
Viac o knihe
Focusing on the finite Constraint Satisfaction Problem (CSP), this work presents a pure logic approach to identifying the simplest solutions. It introduces resolution theories based on constructive logic, utilizing resolution rules to eliminate candidate values for CSP variables. Various families of these theories are defined, each with a unique simplicity measure and a rating system for CSP instances. The book ensures good computational properties through the confluence property and aligns with a structured search method, using Sudoku as a key illustrative example.
Nákup knihy
Constraint Resolution Theories, Denis Berthier
- Jazyk
- Rok vydania
- 2011
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Constraint Resolution Theories
- Jazyk
- anglicky
- Autori
- Denis Berthier
- Vydavateľ
- Lulu.com
- Rok vydania
- 2011
- Väzba
- mäkká
- Počet strán
- 312
- ISBN13
- 9781447868880
- Kategórie
- Príroda všeobecne
- Anotácia
- Focusing on the finite Constraint Satisfaction Problem (CSP), this work presents a pure logic approach to identifying the simplest solutions. It introduces resolution theories based on constructive logic, utilizing resolution rules to eliminate candidate values for CSP variables. Various families of these theories are defined, each with a unique simplicity measure and a rating system for CSP instances. The book ensures good computational properties through the confluence property and aligns with a structured search method, using Sudoku as a key illustrative example.