{"id":"https://openalex.org/W107512648","doi":null,"title":"Conspiracy numbers and caching for searching and/or trees and theorem-proving","display_name":"Conspiracy numbers and caching for searching and/or trees and theorem-proving","publication_year":1989,"publication_date":"1989-08-20","ids":{"openalex":"https://openalex.org/W107512648","mag":"107512648"},"language":"en","primary_location":{"id":"mag:107512648","doi":null,"is_oa":false,"landing_page_url":"http://ijcai.org/Proceedings/89-1/Papers/054.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306419999","display_name":"International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Joint Conference on Artificial Intelligence","raw_type":null},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"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/A5038246567","display_name":"Charles Elkan","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Charles Elkan","raw_affiliation_strings":["Dept. of Computer Science, Cornell University, Ithaca, New York#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Cornell University, Ithaca, New York#TAB#","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5038246567"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":2.6274,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.88737015,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"341","last_page":"346"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9014000296592712,"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"}},"topics":[{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9014000296592712,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.047600001096725464,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.024900000542402267,"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/heuristic-search","display_name":"heuristic search","score":0.6489999890327454},{"id":"https://openalex.org/keywords/iterative-deepening","display_name":"iterative deepening","score":0.8799999952316284},{"id":"https://openalex.org/keywords/caching","display_name":"caching","score":0.5600000023841858},{"id":"https://openalex.org/keywords/depth-first-search","display_name":"depth-first search","score":0.6890000104904175},{"id":"https://openalex.org/keywords/sunk-costs","display_name":"sunk costs","score":0.3930000066757202}],"concepts":[{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.7887449860572815},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7192996740341187},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.6492127180099487},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6294939517974854},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.6013649702072144},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.5836717486381531},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5785158276557922},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.47056886553764343},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.44353947043418884},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4070274829864502},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36953234672546387},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23970773816108704},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.21339750289916992},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16955071687698364},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14651021361351013},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.14258304238319397},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.09811973571777344},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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":1,"locations":[{"id":"mag:107512648","doi":null,"is_oa":false,"landing_page_url":"http://ijcai.org/Proceedings/89-1/Papers/054.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306419999","display_name":"International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Joint Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W87609238","https://openalex.org/W177650123","https://openalex.org/W1513400187","https://openalex.org/W1541434994","https://openalex.org/W1588666994","https://openalex.org/W1646038686","https://openalex.org/W1980717258","https://openalex.org/W1992249923","https://openalex.org/W2027856109","https://openalex.org/W2111298660","https://openalex.org/W2116502002","https://openalex.org/W2147096558","https://openalex.org/W2150470619","https://openalex.org/W2152475379","https://openalex.org/W2294416791"],"related_works":["https://openalex.org/W2089263616","https://openalex.org/W7095190173","https://openalex.org/W2573112524","https://openalex.org/W2016415539","https://openalex.org/W2911331255","https://openalex.org/W2786392293","https://openalex.org/W2612664774","https://openalex.org/W251452383","https://openalex.org/W1520527482","https://openalex.org/W7099903631"],"abstract_inverted_index":{"This":[0],"paper":[1],"applies":[2],"the":[3,26,39,52,70,78,95,100,112],"idea":[4],"of":[5,42,94],"conspiracy":[6,108],"numbers":[7,109],"to":[8,33,38],"derive":[9],"two":[10,101],"heuristic":[11],"algorithms":[12],"for":[13],"searching":[14],"and/or":[15],"trees.":[16],"The":[17,45],"first":[18],"algorithm":[19,24,47],"is":[20,90],"an":[21,56],"AO*":[22],"best-first":[23],"but":[25],"standard":[27],"guarantees":[28],"do":[29],"not":[30,97],"apply":[31],"usefully":[32],"it":[34,36,89],"because":[35],"conforms":[37],"economic":[40],"principle":[41],"sunk":[43],"costs.":[44],"second":[46],"works":[48],"depth-first":[49],"and":[50,74,110],"guides":[51],"search":[53],"done":[54],"by":[55],"iterative":[57],"deepening":[58],"SLD-resolution":[59],"theorem":[60],"prover":[61,71],"that":[62,80,107],"we":[63],"have":[64],"implemented.":[65],"To":[66],"avoid":[67],"repeated":[68],"effort,":[69],"caches":[72],"successes":[73],"failures.":[75],"It":[76],"exploits":[77],"fact":[79],"a":[81,85,91],"new":[82,113],"goal":[83,87],"matches":[84],"cached":[86],"if":[88,99],"substitution":[92],"instance":[93],"latter,":[96],"just":[98],"are":[102,116],"identical.":[103],"Experimental":[104],"results":[105],"indicate":[106],"especially":[111],"caching":[114],"scheme":[115],"effective":[117],"in":[118],"practice.":[119]},"counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}