{"id":"https://openalex.org/W2163324278","doi":"https://doi.org/10.1017/s1471068411000172","title":"Parallel backtracking with answer memoing for independent and-parallelism","display_name":"Parallel backtracking with answer memoing for independent and-parallelism","publication_year":2011,"publication_date":"2011-07-01","ids":{"openalex":"https://openalex.org/W2163324278","doi":"https://doi.org/10.1017/s1471068411000172","mag":"2163324278"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068411000172","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000172","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1107.4724","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087343609","display_name":"Pablo Chico de Guzm\u00e1n","orcid":null},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"PABLO CHICO DE GUZM\u00c1N","raw_affiliation_strings":["School of Computer Science, Universidad Polit\u00e9cnica de Madrid, Spain (e-mail:"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, Universidad Polit\u00e9cnica de Madrid, Spain (e-mail:","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072229590","display_name":"Amadeo Casas","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101778","display_name":"Samsung (United States)","ror":"https://ror.org/01bfbvm65","country_code":"US","type":"company","lineage":["https://openalex.org/I2250650973","https://openalex.org/I4210101778"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"AMADEO CASAS","raw_affiliation_strings":["Samsung Research, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"Samsung Research, USA (e-mail:","institution_ids":["https://openalex.org/I4210101778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030575094","display_name":"Manuel Carro","orcid":"https://orcid.org/0000-0001-5199-3135"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"MANUEL CARRO","raw_affiliation_strings":["School of Computer Science, Universidad Polit\u00e9cnica de Madrid, Spain, IMDEA Software Institute, Spain (e-mail:"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, Universidad Polit\u00e9cnica de Madrid, Spain, IMDEA Software Institute, Spain (e-mail:","institution_ids":["https://openalex.org/I4210162154","https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]},{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"MANUEL V. HERMENEGILDO","raw_affiliation_strings":["School of Computer Science, Universidad Polit\u00e9cnica de Madrid, Spain, IMDEA Software Institute, Spain (e-mail:"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, Universidad Polit\u00e9cnica de Madrid, Spain, IMDEA Software Institute, Spain (e-mail:","institution_ids":["https://openalex.org/I4210162154","https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5087343609"],"corresponding_institution_ids":["https://openalex.org/I88060688"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.18224819,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"11","issue":"4-5","first_page":"555","last_page":"574"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.9118378758430481},{"id":"https://openalex.org/keywords/memoization","display_name":"Memoization","score":0.867290735244751},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8339349031448364},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.7107859253883362},{"id":"https://openalex.org/keywords/look-ahead","display_name":"Look-ahead","score":0.6368779540061951},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.6079827547073364},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.6043834090232849},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.5692005753517151},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4712778925895691},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.43792232871055603},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.42471396923065186},{"id":"https://openalex.org/keywords/garbage","display_name":"Garbage","score":0.41325539350509644},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35324060916900635},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3509896993637085},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3384139835834503},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.12452319264411926},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08308544754981995}],"concepts":[{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.9118378758430481},{"id":"https://openalex.org/C79516417","wikidata":"https://www.wikidata.org/wiki/Q1376168","display_name":"Memoization","level":4,"score":0.867290735244751},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8339349031448364},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.7107859253883362},{"id":"https://openalex.org/C147297375","wikidata":"https://www.wikidata.org/wiki/Q6674930","display_name":"Look-ahead","level":2,"score":0.6368779540061951},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.6079827547073364},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.6043834090232849},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.5692005753517151},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4712778925895691},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.43792232871055603},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.42471396923065186},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.41325539350509644},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35324060916900635},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3509896993637085},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3384139835834503},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.12452319264411926},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08308544754981995},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.0},{"id":"https://openalex.org/C42560504","wikidata":"https://www.wikidata.org/wiki/Q15419395","display_name":"Top-down parsing","level":3,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068411000172","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000172","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1107.4724","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1107.4724","pdf_url":"https://arxiv.org/pdf/1107.4724","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2163324278","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1107.4724","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1107.4724","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1107.4724","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1107.4724","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1107.4724","pdf_url":"https://arxiv.org/pdf/1107.4724","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W79760435","https://openalex.org/W1494802707","https://openalex.org/W1501992010","https://openalex.org/W1522225310","https://openalex.org/W1534457435","https://openalex.org/W1551554715","https://openalex.org/W1559402073","https://openalex.org/W1595761884","https://openalex.org/W1605052774","https://openalex.org/W1766658279","https://openalex.org/W1984187667","https://openalex.org/W1985039455","https://openalex.org/W1991784272","https://openalex.org/W1997189447","https://openalex.org/W1999281702","https://openalex.org/W2039395876","https://openalex.org/W2070598037","https://openalex.org/W2083182746","https://openalex.org/W2089416779","https://openalex.org/W2089499361","https://openalex.org/W2097584421","https://openalex.org/W2111277910","https://openalex.org/W2116325485","https://openalex.org/W2117326145","https://openalex.org/W2118499027","https://openalex.org/W2157542044","https://openalex.org/W2175275752","https://openalex.org/W6681131114"],"related_works":["https://openalex.org/W2061398287","https://openalex.org/W2646462653","https://openalex.org/W1494161293","https://openalex.org/W2182016073","https://openalex.org/W62862366","https://openalex.org/W385132385","https://openalex.org/W2585542563","https://openalex.org/W1980627096","https://openalex.org/W1473427895","https://openalex.org/W1499595933","https://openalex.org/W1548837038","https://openalex.org/W2483590617","https://openalex.org/W1998255963","https://openalex.org/W326730920","https://openalex.org/W175430765","https://openalex.org/W3048352688","https://openalex.org/W1595727304","https://openalex.org/W1602281610","https://openalex.org/W137756283","https://openalex.org/W2184521886"],"abstract_inverted_index":{"Abstract":[0],"Goal-level":[1],"Independent":[2],"and-parallelism":[3],"(IAP)":[4],"is":[5,74],"exploited":[6],"by":[7],"scheduling":[8],"for":[9,109,135],"simultaneous":[10],"execution":[11],"of":[12,50,70,95,185],"two":[13],"or":[14],"more":[15],"goals,":[16],"which":[17],"will":[18],"not":[19],"interfere":[20],"with":[21,105],"each":[22],"other":[23],"at":[24],"run":[25],"time.":[26],"This":[27,127],"can":[28,36,63,163,170],"be":[29,64],"done":[30],"safely":[31],"even":[32],"if":[33,67],"such":[34],"goals":[35,73],"produce":[37,79],"multiple":[38],"answers.":[39,157],"The":[40,140],"most":[41],"successful":[42],"IAP":[43,136],"implementations":[44],"to":[45,101,153,174],"date":[46],"have":[47],"used":[48],"recomputation":[49,62],"answers":[51],"and":[52,77,112,123,137,148,155],"sequentially":[53,83],"ordered":[54,84],"backtracking.":[55],"While":[56],"in":[57,180],"principle":[58],"simplifying":[59],"the":[60,68,71,90,93,96,106,119,175,182],"implementation,":[61],"very":[65],"inefficient":[66],"granularity":[69],"parallel":[72,132,143],"large":[75],"enough":[76],"they":[78],"several":[80],"answers,":[81],"while":[82,114],"backtracking":[85,133,147,183],"limits":[86],"parallelism.":[87],"And,":[88],"despite":[89],"expected":[91],"simplification,":[92],"implementation":[94],"classic":[97],"schemes":[98],"has":[99],"proved":[100],"involve":[102],"complex":[103],"engineering,":[104],"consequent":[107],"difficulty":[108],"system":[110],"maintenance":[111],"extension,":[113],"still":[115],"frequently":[116],"running":[117],"into":[118],"well-known":[120],"trapped":[121],"goal":[122],"garbage":[124],"slot":[125],"problems.":[126],"work":[128],"presents":[129],"an":[130],"alternative":[131],"model":[134,141],"its":[138],"implementation.":[139],"features":[142],"out-of-order":[144],"(i.e.,":[145],"nonchronological)":[146],"relies":[149],"on":[150],"answer":[151],"memoization":[152],"reuse":[154],"combine":[156],"We":[158],"show":[159],"that":[160],"this":[161],"approach":[162],"bring":[164,171],"significant":[165],"performance":[166],"advantages.":[167],"Also,":[168],"it":[169],"some":[172],"simplification":[173],"important":[176],"engineering":[177],"task":[178],"involved":[179],"implementing":[181],"mechanism":[184],"previous":[186],"approaches.":[187]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}