{"id":"https://openalex.org/W46915873","doi":"https://doi.org/10.1007/978-3-540-45193-8_66","title":"A Canonicity Test for Configuration","display_name":"A Canonicity Test for Configuration","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W46915873","doi":"https://doi.org/10.1007/978-3-540-45193-8_66","mag":"46915873"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-45193-8_66","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-45193-8_66","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042876002","display_name":"St\u00e9phane Grandcolas","orcid":"https://orcid.org/0000-0002-5436-0971"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Stephane Grandcolas","raw_affiliation_strings":["Laboratoire des Sciences de l\u2019Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille","Laboratoire des Sciences de l'Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire des Sciences de l\u2019Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Laboratoire des Sciences de l'Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059195115","display_name":"Laurent H\u00e9nocque","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent Henocque","raw_affiliation_strings":["Laboratoire des Sciences de l\u2019Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille","Laboratoire des Sciences de l'Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire des Sciences de l\u2019Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Laboratoire des Sciences de l'Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069275060","display_name":"Nicolas Prcovic","orcid":"https://orcid.org/0000-0002-3580-4071"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Prcovic","raw_affiliation_strings":["Laboratoire des Sciences de l\u2019Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille","Laboratoire des Sciences de l'Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire des Sciences de l\u2019Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Laboratoire des Sciences de l'Information et des Syst\u00e8mes, LSIS (UMR CNRS 6168), Campus Scientifique de Saint J\u00e9r\u00f4me, Avenue Escadrille Normandie Niemen, 13397 Cedex 20, Marseille","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":5.9506,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.94181586,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"853","last_page":"857"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11729","display_name":"Product Development and Customization","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12176","display_name":"Optimization and Packing Problems","score":0.9487000107765198,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.8202612400054932},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8010609149932861},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6680693030357361},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.500901460647583},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49504318833351135},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4343300759792328},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4106466472148895},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1514807641506195}],"concepts":[{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.8202612400054932},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8010609149932861},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6680693030357361},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.500901460647583},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49504318833351135},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4343300759792328},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4106466472148895},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1514807641506195},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-45193-8_66","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-45193-8_66","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W94495587","https://openalex.org/W1524949188","https://openalex.org/W1589974182","https://openalex.org/W1647418194","https://openalex.org/W2005004006","https://openalex.org/W2122060442","https://openalex.org/W2798401172"],"related_works":["https://openalex.org/W3207760230","https://openalex.org/W1496222301","https://openalex.org/W1590307681","https://openalex.org/W4312814274","https://openalex.org/W4285370786","https://openalex.org/W2296488620","https://openalex.org/W2358353312","https://openalex.org/W2353836703","https://openalex.org/W41015297","https://openalex.org/W4280645561"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}