{"id":"https://openalex.org/W1578400162","doi":"https://doi.org/10.1023/a:1008655230736","title":"Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques","display_name":"Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques","publication_year":1998,"publication_date":"1998-04-01","ids":{"openalex":"https://openalex.org/W1578400162","doi":"https://doi.org/10.1023/a:1008655230736","mag":"1578400162"},"language":"en","primary_location":{"id":"doi:10.1023/a:1008655230736","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008655230736","pdf_url":null,"source":{"id":"https://openalex.org/S4210177399","display_name":"Automated Software Engineering","issn_l":"0928-8910","issn":["0928-8910","1573-7535"],"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":"Automated Software Engineering","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/A5111751181","display_name":"Steven Woods","orcid":null},"institutions":[{"id":"https://openalex.org/I117965899","display_name":"University of Hawai\u02bbi at M\u0101noa","ror":"https://ror.org/01wspgy28","country_code":"US","type":"education","lineage":["https://openalex.org/I117965899"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steven Woods","raw_affiliation_strings":["Department of Electrical Engineering, University of Hawaii at Manoa, Honolulu, Hawaii, 96822, USA","Department of Electrical Engineering, University of Hawaii at Manoa, Honolulu, Hawaii 96822, USA. E-mail: sgwoods@spectra.eng.hawaii.edu"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, University of Hawaii at Manoa, Honolulu, Hawaii, 96822, USA","institution_ids":["https://openalex.org/I117965899"]},{"raw_affiliation_string":"Department of Electrical Engineering, University of Hawaii at Manoa, Honolulu, Hawaii 96822, USA. E-mail: sgwoods@spectra.eng.hawaii.edu","institution_ids":["https://openalex.org/I117965899"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100636286","display_name":"Qiang Yang","orcid":"https://orcid.org/0000-0001-5059-8360"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Qiang Yang","raw_affiliation_strings":["School of Computing Science Intelligent Software Group (ISG), Simon Fraser University, Burnaby, BC, V5A 1S6, Canada","School of Computing Science Intelligent Software Group (ISG), Simon Fraser University, Burnaby, BC V5A 1S6, Canada. E-mail: [email\u00a0protected]#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing Science Intelligent Software Group (ISG), Simon Fraser University, Burnaby, BC, V5A 1S6, Canada","institution_ids":["https://openalex.org/I18014758"]},{"raw_affiliation_string":"School of Computing Science Intelligent Software Group (ISG), Simon Fraser University, Burnaby, BC V5A 1S6, Canada. E-mail: [email\u00a0protected]#TAB#","institution_ids":["https://openalex.org/I18014758"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":2.6503,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.900733,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"5","issue":"2","first_page":"147","last_page":"181"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9940999746322632,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9926000237464905,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8074097633361816},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5780332684516907},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5278632044792175},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.520160436630249},{"id":"https://openalex.org/keywords/template","display_name":"Template","score":0.4969172775745392},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.4778306484222412},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.47292619943618774},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4465675354003906},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.39380475878715515},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3657628297805786},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2002905309200287},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.10072025656700134}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8074097633361816},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5780332684516907},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5278632044792175},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.520160436630249},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.4969172775745392},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.4778306484222412},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.47292619943618774},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4465675354003906},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39380475878715515},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3657628297805786},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2002905309200287},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.10072025656700134},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1023/a:1008655230736","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008655230736","pdf_url":null,"source":{"id":"https://openalex.org/S4210177399","display_name":"Automated Software Engineering","issn_l":"0928-8910","issn":["0928-8910","1573-7535"],"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":"Automated Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-41903","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-41903","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"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":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W94200858","https://openalex.org/W140876290","https://openalex.org/W1227448182","https://openalex.org/W1232554550","https://openalex.org/W1503235122","https://openalex.org/W1508357244","https://openalex.org/W1521209386","https://openalex.org/W1548611530","https://openalex.org/W1549970999","https://openalex.org/W1594046968","https://openalex.org/W1670928054","https://openalex.org/W1747822886","https://openalex.org/W1972093810","https://openalex.org/W1975033347","https://openalex.org/W1975423918","https://openalex.org/W1986945006","https://openalex.org/W2002478775","https://openalex.org/W2003395552","https://openalex.org/W2012280621","https://openalex.org/W2037712120","https://openalex.org/W2037768686","https://openalex.org/W2043193943","https://openalex.org/W2051722759","https://openalex.org/W2057872609","https://openalex.org/W2061753121","https://openalex.org/W2068852367","https://openalex.org/W2071839127","https://openalex.org/W2088174216","https://openalex.org/W2108681513","https://openalex.org/W2109047009","https://openalex.org/W2111438905","https://openalex.org/W2112957923","https://openalex.org/W2117821076","https://openalex.org/W2129013235","https://openalex.org/W2135432705","https://openalex.org/W2136688433","https://openalex.org/W2138037655","https://openalex.org/W2138670633","https://openalex.org/W2138917711","https://openalex.org/W2139885131","https://openalex.org/W2140964982","https://openalex.org/W2148546044","https://openalex.org/W2278693600","https://openalex.org/W2589146456","https://openalex.org/W3008447583","https://openalex.org/W3009058554","https://openalex.org/W4246606646","https://openalex.org/W4300632646","https://openalex.org/W6603855062","https://openalex.org/W6630482146","https://openalex.org/W6635377154","https://openalex.org/W6661110980","https://openalex.org/W6680300919"],"related_works":["https://openalex.org/W2097415053","https://openalex.org/W1514298554","https://openalex.org/W1486916474","https://openalex.org/W4243324743","https://openalex.org/W1531664660","https://openalex.org/W2120647900","https://openalex.org/W1496100162","https://openalex.org/W4303044088","https://openalex.org/W1169406866","https://openalex.org/W4249103506"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}