Bookbot

Pattern-Based Constraint Satisfaction and Logic Puzzles

Parametri

Pagine
484pagine
Tempo di lettura
17ore

Maggiori informazioni sul libro

Focusing on a logic-driven approach, the book explores the finite Constraint Satisfaction Problem (CSP) through a pattern-based lens, aiming to identify the simplest solutions. It formalizes various reasoning methods with distinct families of "resolution rules," each embodying unique interpretations of simplicity in problem-solving. This perspective offers a fresh framework for tackling logic puzzles and constraints effectively.

Acquisto del libro

Pattern-Based Constraint Satisfaction and Logic Puzzles, Denis Berthier

Lingua
Pubblicato
2012
product-detail.submit-box.info.binding
(In brossura)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento