Basic User Manual for CSP-Rules-V2.1 - Berthier, Denis
16,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
8 °P sammeln
  • Broschiertes Buch

This book is the User Manual for CSP-Rules-V2.1, a generic pattern-based (or rule-based) solver of finite binary Constraint Satisfaction Problems (CSPs). The associated software, CSP-Rules-V2.1, is available on GitHub. It includes fully developed applications to logic puzzles such as Latin Squares, Sudoku, Futoshiki, Kakuro, Map Colouring, Numbrix, Hidato and Slithering.

Andere Kunden interessierten sich auch für
Produktbeschreibung
This book is the User Manual for CSP-Rules-V2.1, a generic pattern-based (or rule-based) solver of finite binary Constraint Satisfaction Problems (CSPs). The associated software, CSP-Rules-V2.1, is available on GitHub. It includes fully developed applications to logic puzzles such as Latin Squares, Sudoku, Futoshiki, Kakuro, Map Colouring, Numbrix, Hidato and Slithering.
Autorenporträt
Denis Berthier graduated from Ecole Polytechnique (X68, Paris, France) and was full Professor of Logic, Artificial Intelligence and Epistemology of Information Technologies at Institut Mines Télécom, France. He is the author of a series of books on Pattern-Based Constraint Satisfaction.