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. This second edition includes additions related to reducing the number of steps in a resolution path.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9781794867079_new
Anzahl: Mehr als 20 verfügbar
Anbieter: moluna, Greven, Deutschland
Zustand: New. Artikel-Nr. 533472674
Anzahl: Mehr als 20 verfügbar