{"product_id":"augmented-user-manual-for-csp-rules-v2-1-paperback","title":"Augmented User Manual for CSP-Rules-V2.1 - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eDenis Berthier\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003eThis 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 third edition includes additions related to reducing the number of steps in a resolution path and to a newly discovered pattern (tridagon) for extremely hard puzzles.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 258\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.54 x 9.21 x 6.14 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e October 28, 2022\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":48639431377145,"sku":"9781471026874","price":82.85,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/2782\/3097\/files\/SN-XbjgqRq9781471026874.webp?v=1783304747","url":"https:\/\/bookscloud.io\/products\/augmented-user-manual-for-csp-rules-v2-1-paperback","provider":"BooksCloud Book Dropshipping","version":"1.0","type":"link"}