Inicio > > Ciencias de la computación > Hierarchical Classifications in Constraint Satisfaction
Hierarchical Classifications in Constraint Satisfaction

Hierarchical Classifications in Constraint Satisfaction

Denis Berthier

33,86 €
IVA incluido
Disponible
Editorial:
Lulu Press
Año de edición:
2023
Materia
Ciencias de la computación
ISBN:
9781446733318
33,86 €
IVA incluido
Disponible
Añadir a favoritos
Sobre IBD

'Hierarchical Classifications in Constraint Satisfaction' starts by recalling the main universal classifications of the instances of a finite binary Constraint Satisfaction Problem, defined in previous books by the same author, as well as their first applications to the Sudoku case. It then introduces a software (SHC) specially developed by François Cordoliani to implement them in the Sudoku case. Finally, it analyses in detail the classification results thus obtained and it shows that the short SHC computation times suggest to use it in the ongoing search for the 'hardest' puzzles.

Artículos relacionados

  • Skills for Managing Rapidly Changing IT Projects
    Fabrizio Fioravanti
    ...
    Disponible

    118,39 €

  • Design and Usability of Digital Libraries
    Schubert Foo / Yin-Leng Theng
    ...
    Disponible

    112,35 €

  • Intelligent Information Technologies and Applications
    Vijayan Sugumaran
    ...
    Disponible

    131,73 €

  • Mobile Technology Consumption
    Whether used for communication, entertainment, socio-economic growth, crowd-sourcing social and political events, monitoring vital signs in patients, helping to drive vehicles, or delivering education, mobile technology has been transformed from a mode to a medium. Mobile Technology Consumption: Opportunities and Challenges explores essential questions related to the cost, bene...
    Disponible

    249,07 €

  • Creating Personal, Social, and Urban Awareness through Pervasive Computing
    Guo
    The recent emergence and prevalence of social network applications, sensor equipped mobile devices, and the availability of large amounts of geo-referenced data have enabled the analysis of new context dimensions that involve individual, social, and urban context. Creating Personal, Social, and Urban Awareness through Pervasive Computing provides an overview of the theories, te...
    Disponible

    230,09 €

  • Fostering 21st Century Digital Literacy and Technical Competency
    Antonio Cartelli
    The 21st century has seen an expansion in digital technology and the ways in which it affects everyday life. These technologies have become essential in the growth of social communication and mass media. Fostering 21st Century Digital Literacy and Technical Competency offers the latest in research on the technological advances on computer proficiency in the educational system a...
    Disponible

    229,67 €

Otros libros del autor

  • User Manual and Research Notebooks for CSP-Rules
    Denis Berthier
    CSP-Rules is a generic pattern-based (or rule-based) solver of finite binary Constraint Satisfaction Problems (CSPs). This software is available on GitHub and it includes fully developed applications to various logic puzzles such as Sudoku, Latin Squares (allowing their Pandiagonal variant), Futoshiki, Kakuro, Numbrix, Hidato, Slitherlink and Map Colouring.CSP-Rules produces no...
    Disponible

    62,70 €

  • Augmented User Manual for CSP-Rules-V2.1
    Denis Berthier
    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 t...
    Disponible

    68,71 €

  • Basic User Manual for CSP-Rules-V2.1 (Second Edition)
    Denis Berthier
    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 s...
    Disponible

    32,06 €

  • Pattern-Based Constraint Satisfaction and Logic Puzzles
    Denis Berthier
    'Pattern-Based Constraint Satisfaction and Logic Puzzles (Third Edition)' develops a pure logic, pattern-based perspective of solving the finite Constraint Satisfaction Problem (CSP), with emphasis on finding the 'simplest' solution. Different ways of reasoning with the constraints are formalised by various families of 'resolution rules', each of them carrying its own notion of...
    Disponible

    95,66 €

  • Pattern-Based Constraint Satisfaction and Logic Puzzles (Third Edition)
    Denis Berthier
    'Pattern-Based Constraint Satisfaction and Logic Puzzles (Third Edition)' develops a pure logic, pattern-based perspective of solving the finite Constraint Satisfaction Problem (CSP), with emphasis on finding the 'simplest' solution. Different ways of reasoning with the constraints are formalised by various families of 'resolution rules', each of them carrying its own notion of...
    Disponible

    73,09 €

  • Basic User Manual for CSP-Rules-V2.1
    Denis Berthier
    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. ...
    Disponible

    15,87 €