{"id":"https://openalex.org/W224820903","doi":null,"title":"DPLL\u578b\u30e2\u30c7\u30eb\u8a08\u6570\u30bd\u30eb\u30d0\u306e\u6295\u5c04\u30e2\u30c7\u30eb\u8a08\u6570\u3078\u306e\u62e1\u5f35 (\u7279\u96c6 \u300c\u547d\u984c\u8ad6\u7406\u306e\u5145\u8db3\u53ef\u80fd\u6027\u554f\u984cSAT\u3068\u5fdc\u7528\u6280\u8853\u300d\u304a\u3088\u3073\u4e00\u822c)","display_name":"DPLL\u578b\u30e2\u30c7\u30eb\u8a08\u6570\u30bd\u30eb\u30d0\u306e\u6295\u5c04\u30e2\u30c7\u30eb\u8a08\u6570\u3078\u306e\u62e1\u5f35 (\u7279\u96c6 \u300c\u547d\u984c\u8ad6\u7406\u306e\u5145\u8db3\u53ef\u80fd\u6027\u554f\u984cSAT\u3068\u5fdc\u7528\u6280\u8853\u300d\u304a\u3088\u3073\u4e00\u822c)","publication_year":2015,"publication_date":"2015-03-22","ids":{"openalex":"https://openalex.org/W224820903","mag":"224820903"},"language":"ja","primary_location":{"id":"mag:224820903","doi":null,"is_oa":false,"landing_page_url":"https://ci.nii.ac.jp/naid/40020397762","pdf_url":null,"source":{"id":"https://openalex.org/S4306543084","display_name":"\u4eba\u5de5\u77e5\u80fd\u57fa\u672c\u554f\u984c\u7814\u7a76\u4f1a","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":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"\u4eba\u5de5\u77e5\u80fd\u57fa\u672c\u554f\u984c\u7814\u7a76\u4f1a","raw_type":null},"volume":null,"type":"article","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":null,"display_name":"\u6dbc\u4ecb \u9234\u6728","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u6dbc\u4ecb \u9234\u6728","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"\u5065\u4e8c \u6a4b\u672c","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u5065\u4e8c \u6a4b\u672c","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5026322642","display_name":"\u6b63\u5f66 \u9152\u4e95","orcid":"https://orcid.org/0000-0002-6234-0161","observed_orcids":["https://orcid.org/0000-0002-6234-0161"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u6b63\u5f66 \u9152\u4e95","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00250928,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"97","issue":null,"first_page":"59","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.44699999690055847,"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.44699999690055847,"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.2741999924182892,"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.0771000012755394,"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/propositional-satisfiability","display_name":"propositional satisfiability","score":0.7649999856948853},{"id":"https://openalex.org/keywords/sat","display_name":"SAT","score":0.45100000500679016},{"id":"https://openalex.org/keywords/model-counting","display_name":"model counting","score":0.49900001287460327},{"id":"https://openalex.org/keywords/propositional-logic","display_name":"propositional logic","score":0.5070000290870667}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3982747793197632},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3372267484664917}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:224820903","doi":null,"is_oa":false,"landing_page_url":"https://ci.nii.ac.jp/naid/40020397762","pdf_url":null,"source":{"id":"https://openalex.org/S4306543084","display_name":"\u4eba\u5de5\u77e5\u80fd\u57fa\u672c\u554f\u984c\u7814\u7a76\u4f1a","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":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"\u4eba\u5de5\u77e5\u80fd\u57fa\u672c\u554f\u984c\u7814\u7a76\u4f1a","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":0,"referenced_works":[],"related_works":["https://openalex.org/W2588061731","https://openalex.org/W6961361491","https://openalex.org/W186301090","https://openalex.org/W620074258","https://openalex.org/W607697170","https://openalex.org/W3154764262","https://openalex.org/W582646067","https://openalex.org/W7095745097","https://openalex.org/W4414905624","https://openalex.org/W640576127"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2016-06-24T00:00:00"}