{"id":"https://openalex.org/W1848946384","doi":"https://doi.org/10.1007/3-540-44914-0_10","title":"A CSP Abstraction Framework","display_name":"A CSP Abstraction Framework","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1848946384","doi":"https://doi.org/10.1007/3-540-44914-0_10","mag":"1848946384"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-44914-0_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-44914-0_10","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":"conference-paper","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/A5056232610","display_name":"Christophe Lecoutre","orcid":"https://orcid.org/0000-0002-2205-6545"},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christophe Lecoutre","raw_affiliation_strings":["Centre de Recherche en Informatique de Lens, Universit\u00e9 d\u2019Artois, Rue de l\u2019universit\u00e9, 62307, Lens, France","Centre de Recherche en Informatique de Lens, Universit\u00e9 d'Artois, Rue de l'universit\u00e9, 62307, Lens, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens, Universit\u00e9 d\u2019Artois, Rue de l\u2019universit\u00e9, 62307, Lens, France","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I44563897"]},{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens, Universit\u00e9 d'Artois, Rue de l'universit\u00e9, 62307, Lens, France","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012964650","display_name":"Sylvain Merchez","orcid":null},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sylvain Merchez","raw_affiliation_strings":["Centre de Recherche en Informatique de Lens, Universit\u00e9 d\u2019Artois, Rue de l\u2019universit\u00e9, 62307, Lens, France","Laboratoire en Organisation et Gestion de la Production, Universit\u00e9 d\u2019Artois, Technoparc Futura, 62408, B\u00e9thune, France","Centre de Recherche en Informatique de Lens, Universit\u00e9 d'Artois, Rue de l'universit\u00e9, 62307, Lens, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens, Universit\u00e9 d\u2019Artois, Rue de l\u2019universit\u00e9, 62307, Lens, France","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I44563897"]},{"raw_affiliation_string":"Laboratoire en Organisation et Gestion de la Production, Universit\u00e9 d\u2019Artois, Technoparc Futura, 62408, B\u00e9thune, France","institution_ids":["https://openalex.org/I44563897"]},{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens, Universit\u00e9 d'Artois, Rue de l'universit\u00e9, 62307, Lens, France","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110720749","display_name":"Fr\u00e9d\u00e9ric Boussemart","orcid":null},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Boussemart","raw_affiliation_strings":["Laboratoire en Organisation et Gestion de la Production, Universit\u00e9 d\u2019Artois, Technoparc Futura, 62408, B\u00e9thune, France","Laboratoire en Organisation et Gestion de la Production, Universit\u00e9 d'Artois, Technoparc Futura, 62408, B\u00e9thune, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire en Organisation et Gestion de la Production, Universit\u00e9 d\u2019Artois, Technoparc Futura, 62408, B\u00e9thune, France","institution_ids":["https://openalex.org/I44563897"]},{"raw_affiliation_string":"Laboratoire en Organisation et Gestion de la Production, Universit\u00e9 d'Artois, Technoparc Futura, 62408, B\u00e9thune, France","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079763185","display_name":"\u00c9ric Gr\u00e9goire","orcid":"https://orcid.org/0000-0001-6707-3106"},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Eric Gr\u00e9goire","raw_affiliation_strings":["Centre de Recherche en Informatique de Lens, Universit\u00e9 d\u2019Artois, Rue de l\u2019universit\u00e9, 62307, Lens, France","Centre de Recherche en Informatique de Lens, Universit\u00e9 d'Artois, Rue de l'universit\u00e9, 62307, Lens, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens, Universit\u00e9 d\u2019Artois, Rue de l\u2019universit\u00e9, 62307, Lens, France","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I44563897"]},{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens, Universit\u00e9 d'Artois, Rue de l'universit\u00e9, 62307, Lens, France","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I44563897"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5932,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.68308506,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"164","last_page":"184"},"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/1705","display_name":"Computer Networks and Communications"},"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/1705","display_name":"Computer Networks and Communications"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9937999844551086,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/abstraction","display_name":"Abstraction","score":0.8619378805160522},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8496530055999756},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7777462005615234},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.6268703937530518},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5251523852348328},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.5167709589004517},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.4905630946159363},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47269442677497864},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4682199954986572},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.44432130455970764},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1970984935760498},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10007739067077637}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.8619378805160522},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8496530055999756},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7777462005615234},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.6268703937530518},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5251523852348328},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.5167709589004517},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.4905630946159363},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47269442677497864},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4682199954986572},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.44432130455970764},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1970984935760498},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10007739067077637},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/3-540-44914-0_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-44914-0_10","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.2.8787","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.8787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cril.univ-artois.fr/~lecoutre/research/SARA2000.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W31119130","https://openalex.org/W75212578","https://openalex.org/W141440465","https://openalex.org/W153965054","https://openalex.org/W191158873","https://openalex.org/W1522863580","https://openalex.org/W1525553593","https://openalex.org/W1544051716","https://openalex.org/W1544182460","https://openalex.org/W1587327470","https://openalex.org/W1841516209","https://openalex.org/W1886369495","https://openalex.org/W2023722467","https://openalex.org/W2043100293","https://openalex.org/W2071639741","https://openalex.org/W2078727257","https://openalex.org/W2084875723","https://openalex.org/W2119456262","https://openalex.org/W2135432705","https://openalex.org/W2141333305","https://openalex.org/W2149903685","https://openalex.org/W6632743509"],"related_works":["https://openalex.org/W2091348864","https://openalex.org/W2569549435","https://openalex.org/W2784687883","https://openalex.org/W2354343466","https://openalex.org/W3014398131","https://openalex.org/W3122634451","https://openalex.org/W2997121997","https://openalex.org/W2188549339","https://openalex.org/W1576780029","https://openalex.org/W2101480270"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}