{"id":"https://openalex.org/W2025411703","doi":"https://doi.org/10.1007/s10766-015-0356-7","title":"Mixing Static and Dynamic Partitioning to Parallelize a Constraint Programming Solver","display_name":"Mixing Static and Dynamic Partitioning to Parallelize a Constraint Programming Solver","publication_year":2015,"publication_date":"2015-03-17","ids":{"openalex":"https://openalex.org/W2025411703","doi":"https://doi.org/10.1007/s10766-015-0356-7","mag":"2025411703"},"language":"en","primary_location":{"id":"doi:10.1007/s10766-015-0356-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10766-015-0356-7","pdf_url":null,"source":{"id":"https://openalex.org/S148521650","display_name":"International Journal of Parallel Programming","issn_l":"0885-7458","issn":["0885-7458","1573-7640"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Parallel Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01344092","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082496346","display_name":"Tarek Menouer","orcid":"https://orcid.org/0000-0003-0066-1733"},"institutions":[{"id":"https://openalex.org/I195731000","display_name":"Universit\u00e9 de Versailles Saint-Quentin-en-Yvelines","ror":"https://ror.org/03mkjjy25","country_code":"FR","type":"education","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210096782","display_name":"Laboratoire Pluridisciplinaire de Recherche en Ing\u00e9nierie des Syst\u00e8mes, M\u00e9canique et Energ\u00e9tique","ror":"https://ror.org/00sbth994","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12449238","https://openalex.org/I4210096782","https://openalex.org/I4210143826"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Tarek Menouer","raw_affiliation_strings":["Prism Laboratory, University of Versailles Saint-Quentin-en-Yvelines, 45 Avenue des Etats-Unis, 78035\u00a0, Versailles, France","PRISM - Parall\u00e9lisme, R\u00e9seaux, Syst\u00e8mes, Mod\u00e9lisation (UFR des sciences PRISM \r\n B\u00e2timent Descartes \r\n45 avenue des Etats-Unis\r\n78035 VERSAILLES - France)"],"affiliations":[{"raw_affiliation_string":"Prism Laboratory, University of Versailles Saint-Quentin-en-Yvelines, 45 Avenue des Etats-Unis, 78035\u00a0, Versailles, France","institution_ids":["https://openalex.org/I195731000"]},{"raw_affiliation_string":"PRISM - Parall\u00e9lisme, R\u00e9seaux, Syst\u00e8mes, Mod\u00e9lisation (UFR des sciences PRISM \r\n B\u00e2timent Descartes \r\n45 avenue des Etats-Unis\r\n78035 VERSAILLES - France)","institution_ids":["https://openalex.org/I4210096782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087966845","display_name":"Mohamed Rezgui","orcid":null},"institutions":[{"id":"https://openalex.org/I4390039363","display_name":"Infection et inflammation","ror":"https://ror.org/021sh3243","country_code":null,"type":"facility","lineage":["https://openalex.org/I154526488","https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039363"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210106479","display_name":"Laboratoire d'Informatique, Signaux et Syst\u00e8mes de Sophia Antipolis","ror":"https://ror.org/01215r597","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106479","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mohamed Rezgui","raw_affiliation_strings":["I3S Laboratory, University of Nice Sophia Antipolis, 28 Avenue Valombrose, 06100\u00a0, Nice, France","I3S - Laboratoire d'Informatique, Signaux, et Syst\u00e8mes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - b\u00e2t. Euclide B 06900 Sophia Antipolis - France)","Laboratoire I3S - MDSC - Mod\u00e8les Discrets pour les Syst\u00e8mes Complexes (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)"],"affiliations":[{"raw_affiliation_string":"I3S Laboratory, University of Nice Sophia Antipolis, 28 Avenue Valombrose, 06100\u00a0, Nice, France","institution_ids":["https://openalex.org/I201841394"]},{"raw_affiliation_string":"I3S - Laboratoire d'Informatique, Signaux, et Syst\u00e8mes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - b\u00e2t. Euclide B 06900 Sophia Antipolis - France)","institution_ids":["https://openalex.org/I4210106479"]},{"raw_affiliation_string":"Laboratoire I3S - MDSC - Mod\u00e8les Discrets pour les Syst\u00e8mes Complexes (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)","institution_ids":["https://openalex.org/I4210106479","https://openalex.org/I4390039363"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110757503","display_name":"Bertrand Le Cun","orcid":null},"institutions":[{"id":"https://openalex.org/I4210096782","display_name":"Laboratoire Pluridisciplinaire de Recherche en Ing\u00e9nierie des Syst\u00e8mes, M\u00e9canique et Energ\u00e9tique","ror":"https://ror.org/00sbth994","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12449238","https://openalex.org/I4210096782","https://openalex.org/I4210143826"]},{"id":"https://openalex.org/I195731000","display_name":"Universit\u00e9 de Versailles Saint-Quentin-en-Yvelines","ror":"https://ror.org/03mkjjy25","country_code":"FR","type":"education","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bertrand Le Cun","raw_affiliation_strings":["Prism Laboratory, University of Versailles Saint-Quentin-en-Yvelines, 45 Avenue des Etats-Unis, 78035\u00a0, Versailles, France","PRISM - Parall\u00e9lisme, R\u00e9seaux, Syst\u00e8mes, Mod\u00e9lisation (UFR des sciences PRISM \r\n B\u00e2timent Descartes \r\n45 avenue des Etats-Unis\r\n78035 VERSAILLES - France)"],"affiliations":[{"raw_affiliation_string":"Prism Laboratory, University of Versailles Saint-Quentin-en-Yvelines, 45 Avenue des Etats-Unis, 78035\u00a0, Versailles, France","institution_ids":["https://openalex.org/I195731000"]},{"raw_affiliation_string":"PRISM - Parall\u00e9lisme, R\u00e9seaux, Syst\u00e8mes, Mod\u00e9lisation (UFR des sciences PRISM \r\n B\u00e2timent Descartes \r\n45 avenue des Etats-Unis\r\n78035 VERSAILLES - France)","institution_ids":["https://openalex.org/I4210096782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083321766","display_name":"Jean-Charles R\u00e9gin","orcid":"https://orcid.org/0000-0001-6204-5894"},"institutions":[{"id":"https://openalex.org/I4390039363","display_name":"Infection et inflammation","ror":"https://ror.org/021sh3243","country_code":null,"type":"facility","lineage":["https://openalex.org/I154526488","https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039363"]},{"id":"https://openalex.org/I4210106479","display_name":"Laboratoire d'Informatique, Signaux et Syst\u00e8mes de Sophia Antipolis","ror":"https://ror.org/01215r597","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106479","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Charles R\u00e9gin","raw_affiliation_strings":["I3S Laboratory, University of Nice Sophia Antipolis, 28 Avenue Valombrose, 06100\u00a0, Nice, France","Laboratoire I3S - MDSC - Mod\u00e8les Discrets pour les Syst\u00e8mes Complexes (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)","I3S - Laboratoire d'Informatique, Signaux, et Syst\u00e8mes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - b\u00e2t. Euclide B 06900 Sophia Antipolis - France)"],"affiliations":[{"raw_affiliation_string":"I3S Laboratory, University of Nice Sophia Antipolis, 28 Avenue Valombrose, 06100\u00a0, Nice, France","institution_ids":["https://openalex.org/I201841394"]},{"raw_affiliation_string":"Laboratoire I3S - MDSC - Mod\u00e8les Discrets pour les Syst\u00e8mes Complexes (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)","institution_ids":["https://openalex.org/I4210106479","https://openalex.org/I4390039363"]},{"raw_affiliation_string":"I3S - Laboratoire d'Informatique, Signaux, et Syst\u00e8mes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - b\u00e2t. Euclide B 06900 Sophia Antipolis - France)","institution_ids":["https://openalex.org/I4210106479"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5082496346"],"corresponding_institution_ids":["https://openalex.org/I195731000","https://openalex.org/I4210096782"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.7019,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.75230479,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"44","issue":"3","first_page":"486","last_page":"505"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998999834060669,"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.9998999834060669,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9908000230789185,"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"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9878000020980835,"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/computer-science","display_name":"Computer science","score":0.8381508588790894},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.758531391620636},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.6369857788085938},{"id":"https://openalex.org/keywords/search-tree","display_name":"Search tree","score":0.5836902856826782},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5456488728523254},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5321770310401917},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4798561930656433},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.369620144367218},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3365565538406372},{"id":"https://openalex.org/keywords/search-algorithm","display_name":"Search algorithm","score":0.32156527042388916},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13890746235847473},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1263687014579773}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8381508588790894},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.758531391620636},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.6369857788085938},{"id":"https://openalex.org/C207024777","wikidata":"https://www.wikidata.org/wiki/Q621673","display_name":"Search tree","level":3,"score":0.5836902856826782},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5456488728523254},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5321770310401917},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4798561930656433},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.369620144367218},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3365565538406372},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.32156527042388916},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13890746235847473},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1263687014579773},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10766-015-0356-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10766-015-0356-7","pdf_url":null,"source":{"id":"https://openalex.org/S148521650","display_name":"International Journal of Parallel Programming","issn_l":"0885-7458","issn":["0885-7458","1573-7640"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Parallel Programming","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01344092v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01344092","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"International Journal of Parallel Programming, 2016, 44 (3), pp.486-505. ⟨10.1007/s10766-015-0356-7⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01344092v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01344092","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"International Journal of Parallel Programming, 2016, 44 (3), pp.486-505. ⟨10.1007/s10766-015-0356-7⟩","raw_type":"Journal articles"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W11622882","https://openalex.org/W153192071","https://openalex.org/W158822462","https://openalex.org/W185340237","https://openalex.org/W341773047","https://openalex.org/W586905696","https://openalex.org/W1485571094","https://openalex.org/W1490499382","https://openalex.org/W1509962102","https://openalex.org/W1517206491","https://openalex.org/W1535560884","https://openalex.org/W1536499179","https://openalex.org/W1563121416","https://openalex.org/W1566595779","https://openalex.org/W1585665186","https://openalex.org/W1601504107","https://openalex.org/W1885981580","https://openalex.org/W1949640842","https://openalex.org/W1964514131","https://openalex.org/W1968020161","https://openalex.org/W1985380487","https://openalex.org/W2016559894","https://openalex.org/W2057596239","https://openalex.org/W2060032012","https://openalex.org/W2075361148","https://openalex.org/W2107243813","https://openalex.org/W2119327151","https://openalex.org/W2119860027","https://openalex.org/W2136680084","https://openalex.org/W2144137480","https://openalex.org/W2150470619","https://openalex.org/W2160458341","https://openalex.org/W2171399703","https://openalex.org/W2281349988","https://openalex.org/W2492753608","https://openalex.org/W2730963839","https://openalex.org/W3184291104","https://openalex.org/W4245100627","https://openalex.org/W4249698868"],"related_works":["https://openalex.org/W2037710955","https://openalex.org/W1971267722","https://openalex.org/W2402589461","https://openalex.org/W2789480285","https://openalex.org/W3094979732","https://openalex.org/W2049361636","https://openalex.org/W183780713","https://openalex.org/W2131923625","https://openalex.org/W4322703856","https://openalex.org/W1922482429"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}