{"id":"https://openalex.org/W2970925451","doi":null,"title":"Pattern-based constraint satisfaction and logic puzzles. Introduction","display_name":"Pattern-based constraint satisfaction and logic puzzles. Introduction","publication_year":2012,"publication_date":"2012-11-16","ids":{"openalex":"https://openalex.org/W2970925451","mag":"2970925451"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-00755794v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-00755794","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lulu.com. Pattern-based constraint satisfaction and logic puzzles, Lulu.com, pp.480, 2012, 978-1-291-20339-4","raw_type":"info:eu-repo/semantics/bookPart"},"volume":null,"type":"book-chapter","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-00755794","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030939633","display_name":"Denis Berthier","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Berthier, Denis","raw_affiliation_strings":["D\u00e9partement Syst\u00e8mes d'Information"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement Syst\u00e8mes d'Information","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5030939633"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.37236886,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"480","last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/logic-puzzles","display_name":"logic puzzles","score":0.8180000185966492},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"constraint satisfaction","score":0.7789999842643738},{"id":"https://openalex.org/keywords/resolution-rules","display_name":"resolution rules","score":0.9750000238418579},{"id":"https://openalex.org/keywords/simplicity","display_name":"simplicity","score":0.3149999976158142},{"id":"https://openalex.org/keywords/sudoku","display_name":"Sudoku","score":0.6700000166893005},{"id":"https://openalex.org/keywords/map-coloring","display_name":"map coloring","score":0.8840000033378601},{"id":"https://openalex.org/keywords/arithmetic-constraints","display_name":"arithmetic constraints","score":0.652999997138977},{"id":"https://openalex.org/keywords/constraint-based-reasoning","display_name":"constraint-based reasoning","score":0.40299999713897705}],"concepts":[{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.5958377718925476},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5003182888031006},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4533675014972687},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.4369669258594513},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25689804553985596},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22981059551239014},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.03788843750953674},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:HAL:hal-00755794v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-00755794","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lulu.com. Pattern-based constraint satisfaction and logic puzzles, Lulu.com, pp.480, 2012, 978-1-291-20339-4","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00755794v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-00755794","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lulu.com. Pattern-based constraint satisfaction and logic puzzles, Lulu.com, pp.480, 2012, 978-1-291-20339-4","raw_type":"info:eu-repo/semantics/bookPart"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4315926415","https://openalex.org/W4377193952","https://openalex.org/W4310675517","https://openalex.org/W7095413378","https://openalex.org/W84528582","https://openalex.org/W4301208142","https://openalex.org/W2126328463","https://openalex.org/W4245569436","https://openalex.org/W7097056210","https://openalex.org/W7095299287"],"abstract_inverted_index":{"Pattern-Based":[0],"Constraint":[1,16],"Satisfaction":[2,17],"and":[3,80,105,112,114],"Logic":[4],"Puzzles":[5],"develops":[6],"a":[7,73],"pure":[8],"logic,":[9],"pattern-based":[10],"perspective":[11],"of":[12,29,39,43,49,54,60,76,90,143,153],"solving":[13],"the":[14,24,32,55,58,61,128,144,150,154],"finite":[15],"Problem":[18],"(CSP),":[19],"with":[20,31],"emphasis":[21],"on":[22],"finding":[23],"\"simplest\"":[25],"solution.":[26],"Different":[27],"ways":[28],"reasoning":[30],"constraints":[33],"are":[34],"formalised":[35],"by":[36,63],"various":[37,67],"families":[38],"\"resolution":[40],"rules\",":[41],"each":[42],"them":[44],"carrying":[45],"its":[46],"own":[47],"notion":[48],"simplicity.":[50],"A":[51],"large":[52],"part":[53],"book":[56],"illustrates":[57],"power":[59],"approach":[62],"applying":[64],"it":[65],"to":[66,78],"popular":[68],"logic":[69],"puzzles.":[70],"It":[71,124],"provides":[72],"unified":[74],"view":[75],"how":[77],"model":[79],"solve":[81],"them,":[82],"even":[83,115],"though":[84],"they":[85],"involve":[86],"very":[87],"different":[88],"types":[89],"constraints:":[91],"obvious":[92],"symmetric":[93],"ones":[94,100,107,121],"in":[95,102,108,122],"Sudoku,":[96],"non-symmetric":[97],"but":[98],"transitive":[99],"(inequalities)":[101],"Futoshiki,":[103],"topological":[104],"geometric":[106],"Map":[109],"colouring,":[110],"Numbrix\u00ae":[111],"Hidato\u00ae,":[113],"much":[116],"more":[117],"complex":[118],"non-binary":[119],"arithmetic":[120],"Kakuro.":[123],"also":[125],"shows":[126],"that":[127],"most":[129],"familiar":[130],"techniques":[131],"for":[132],"these":[133],"puzzles":[134],"can":[135],"indeed":[136],"be":[137],"understood":[138],"as":[139],"mere":[140],"application-specific":[141],"presentations":[142],"general":[145],"rules.":[146],"This":[147],"chapter":[148],"is":[149],"full":[151],"Introduction":[152],"book.":[155]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2019-09-05T00:00:00"}