{"id":"https://openalex.org/W2017893027","doi":"https://doi.org/10.1007/bf01178668","title":"On problems with short certificates","display_name":"On problems with short certificates","publication_year":1994,"publication_date":"1994-05-01","ids":{"openalex":"https://openalex.org/W2017893027","doi":"https://doi.org/10.1007/bf01178668","mag":"2017893027"},"language":"en","primary_location":{"id":"doi:10.1007/bf01178668","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01178668","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","raw_type":"journal-article"},"type":"article","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/A5005637509","display_name":"Graham Farr","orcid":null},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Graham Farr","raw_affiliation_strings":["Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, G.P.O. Box 4, 2601, Canberra, A.C.T., Australia","Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, Canberra, Australia 2601#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, G.P.O. Box 4, 2601, Canberra, A.C.T., Australia","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, Canberra, Australia 2601#TAB#","institution_ids":["https://openalex.org/I118347636"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5005637509"],"corresponding_institution_ids":["https://openalex.org/I118347636"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.3797,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.80569759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"31","issue":"5","first_page":"479","last_page":"502"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9995999932289124,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9995999932289124,"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/T11567","display_name":"semigroups and automata theory","score":0.9995999932289124,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9965000152587891,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6876053810119629},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6484030485153198},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6304745674133301},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.6285906434059143},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5653116106987},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5542058944702148},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5367988348007202},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.41951093077659607},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23633667826652527}],"concepts":[{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6876053810119629},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6484030485153198},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6304745674133301},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.6285906434059143},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5653116106987},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5542058944702148},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5367988348007202},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.41951093077659607},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23633667826652527},{"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/bf01178668","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01178668","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","raw_type":"journal-article"},{"id":"pmh:oai:repository.library.georgetown.edu:10822/874565","is_oa":false,"landing_page_url":"http://hdl.handle.net/10822/874565","pdf_url":null,"source":{"id":"https://openalex.org/S4306402467","display_name":"DigitalGeorgetown (Georgetown University Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210145449","host_organization_name":"Center for Security and Emerging Technology","host_organization_lineage":["https://openalex.org/I4210145449"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"eweb:141299","raw_type":""}],"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/W1515900222","https://openalex.org/W1548432071","https://openalex.org/W1586904125","https://openalex.org/W1600387673","https://openalex.org/W1985250585","https://openalex.org/W1999647826","https://openalex.org/W2011039300","https://openalex.org/W2021131202","https://openalex.org/W2030087828","https://openalex.org/W2036265926","https://openalex.org/W2039247498","https://openalex.org/W2052936500","https://openalex.org/W2053913299","https://openalex.org/W2062897452","https://openalex.org/W2069323107","https://openalex.org/W2083747727","https://openalex.org/W2087818742","https://openalex.org/W2117832390","https://openalex.org/W2530006810","https://openalex.org/W2798428635","https://openalex.org/W2905135108","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2369049846","https://openalex.org/W3013085049","https://openalex.org/W1560496689","https://openalex.org/W2359232568","https://openalex.org/W1992739770","https://openalex.org/W4386900933","https://openalex.org/W4232849533","https://openalex.org/W2101101130","https://openalex.org/W2996462315","https://openalex.org/W2883069340"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}