{"id":"https://openalex.org/W1549462649","doi":"https://doi.org/10.1007/11752578_46","title":"Parallel Resolution of the Satisfiability Problem (SAT) with OpenMP and MPI","display_name":"Parallel Resolution of the Satisfiability Problem (SAT) with OpenMP and MPI","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W1549462649","doi":"https://doi.org/10.1007/11752578_46","mag":"1549462649"},"language":"en","primary_location":{"id":"doi:10.1007/11752578_46","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11752578_46","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/A5073895931","display_name":"Daniel Singer","orcid":"https://orcid.org/0000-0001-5479-2806"},"institutions":[{"id":"https://openalex.org/I4210115482","display_name":"Laboratoire d'\u00c9tude des Microstructures et de M\u00e9canique des Mat\u00e9riaux","ror":"https://ror.org/01nyrrx14","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190752583","https://openalex.org/I190861549","https://openalex.org/I4210095849","https://openalex.org/I4210115482","https://openalex.org/I4210134562","https://openalex.org/I4210150706","https://openalex.org/I90183372","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Daniel Singer","raw_affiliation_strings":["LITA \u2013 EA 3097, Universit\u00e9 Paul Verlaine de Metz, UFR MIM, \u00cele du Saulcy, 57 045 cedex, Metz, France","LITA \u2013 EA 3097, Universit\u00e9 Paul Verlaine de Metz, UFR MIM, Metz, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LITA \u2013 EA 3097, Universit\u00e9 Paul Verlaine de Metz, UFR MIM, \u00cele du Saulcy, 57 045 cedex, Metz, France","institution_ids":["https://openalex.org/I4210115482"]},{"raw_affiliation_string":"LITA \u2013 EA 3097, Universit\u00e9 Paul Verlaine de Metz, UFR MIM, Metz, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012229641","display_name":"Alain Vagner","orcid":null},"institutions":[{"id":"https://openalex.org/I4210115482","display_name":"Laboratoire d'\u00c9tude des Microstructures et de M\u00e9canique des Mat\u00e9riaux","ror":"https://ror.org/01nyrrx14","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190752583","https://openalex.org/I190861549","https://openalex.org/I4210095849","https://openalex.org/I4210115482","https://openalex.org/I4210134562","https://openalex.org/I4210150706","https://openalex.org/I90183372","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Alain Vagner","raw_affiliation_strings":["LITA \u2013 EA 3097, Universit\u00e9 Paul Verlaine de Metz, UFR MIM, \u00cele du Saulcy, 57 045 cedex, Metz, France","LITA \u2013 EA 3097, Universit\u00e9 Paul Verlaine de Metz, UFR MIM, Metz, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LITA \u2013 EA 3097, Universit\u00e9 Paul Verlaine de Metz, UFR MIM, \u00cele du Saulcy, 57 045 cedex, Metz, France","institution_ids":["https://openalex.org/I4210115482"]},{"raw_affiliation_string":"LITA \u2013 EA 3097, Universit\u00e9 Paul Verlaine de Metz, UFR MIM, Metz, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210115482"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5888,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.56883287,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"380","last_page":"388"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9993000030517578,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983000159263611,"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.8688081502914429},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7548904418945312},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.7258403301239014},{"id":"https://openalex.org/keywords/workload","display_name":"Workload","score":0.6124522686004639},{"id":"https://openalex.org/keywords/message-passing","display_name":"Message passing","score":0.5755223035812378},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5372405648231506},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.47568047046661377},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4384858012199402},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42914292216300964},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22696998715400696}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8688081502914429},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7548904418945312},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.7258403301239014},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.6124522686004639},{"id":"https://openalex.org/C854659","wikidata":"https://www.wikidata.org/wiki/Q1859284","display_name":"Message passing","level":2,"score":0.5755223035812378},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5372405648231506},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.47568047046661377},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4384858012199402},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42914292216300964},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22696998715400696},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/11752578_46","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11752578_46","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W14839205","https://openalex.org/W44050905","https://openalex.org/W70006801","https://openalex.org/W78774630","https://openalex.org/W117707387","https://openalex.org/W157735638","https://openalex.org/W651308706","https://openalex.org/W1480636508","https://openalex.org/W1518231271","https://openalex.org/W1568031762","https://openalex.org/W1575632544","https://openalex.org/W1583771634","https://openalex.org/W1589918049","https://openalex.org/W1627230931","https://openalex.org/W1981726327","https://openalex.org/W1998417879","https://openalex.org/W2057361103","https://openalex.org/W2076373700","https://openalex.org/W2092775861","https://openalex.org/W2118406528","https://openalex.org/W2123098314","https://openalex.org/W2130403783","https://openalex.org/W2131761962","https://openalex.org/W2142785340","https://openalex.org/W2290608413","https://openalex.org/W2552070334","https://openalex.org/W2561675875","https://openalex.org/W6632728906"],"related_works":["https://openalex.org/W4243844743","https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W3208184694","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W2498758832","https://openalex.org/W1913543287","https://openalex.org/W2014111643"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}