{"id":"https://openalex.org/W195133914","doi":"https://doi.org/10.1007/978-3-642-29700-7_24","title":"Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition","display_name":"Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W195133914","doi":"https://doi.org/10.1007/978-3-642-29700-7_24","mag":"195133914"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-29700-7_24","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-29700-7_24","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5100704964","display_name":"Yanyan Xu","orcid":"https://orcid.org/0000-0001-7174-6588"},"institutions":[{"id":"https://openalex.org/I31683504","display_name":"Beijing Forestry University","ror":"https://ror.org/04xv2pc41","country_code":"CN","type":"education","lineage":["https://openalex.org/I1327237609","https://openalex.org/I31683504","https://openalex.org/I4210127390"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yanyan Xu","raw_affiliation_strings":["School of Information Science and Technology, Beijing Forestry University, China"],"affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, Beijing Forestry University, China","institution_ids":["https://openalex.org/I31683504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100344522","display_name":"Wei Chen","orcid":"https://orcid.org/0000-0003-0065-3610"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wei Chen","raw_affiliation_strings":["Naveen Jindal School of Management, The University of Texas, Dallas, USA"],"affiliations":[{"raw_affiliation_string":"Naveen Jindal School of Management, The University of Texas, Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037325282","display_name":"Kaile Su","orcid":"https://orcid.org/0000-0001-6741-9699"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I135237710","display_name":"Zhejiang Normal University","ror":"https://ror.org/01vevwk45","country_code":"CN","type":"education","lineage":["https://openalex.org/I135237710"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kaile Su","raw_affiliation_strings":["College of Mathematics Physics and Information Engineering, Zhejiang Normal University, Jinhua, China","Peking University, Science BLK 1, No.5 Yiheyuan Road, Haidian District, 100871, Beijing, P.R.China","School of Electronics Engineering and Computer Science, Peking University, China"],"affiliations":[{"raw_affiliation_string":"College of Mathematics Physics and Information Engineering, Zhejiang Normal University, Jinhua, China","institution_ids":["https://openalex.org/I135237710"]},{"raw_affiliation_string":"Peking University, Science BLK 1, No.5 Yiheyuan Road, Haidian District, 100871, Beijing, P.R.China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"School of Electronics Engineering and Computer Science, Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100399716","display_name":"Wenhui Zhang","orcid":"https://orcid.org/0000-0002-1301-4124"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenhui Zhang","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100704964"],"corresponding_institution_ids":["https://openalex.org/I31683504"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11387283,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"259","last_page":"268"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9894000291824341,"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.9836999773979187,"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/clique","display_name":"Clique","score":0.7328579425811768},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6928731203079224},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.653178334236145},{"id":"https://openalex.org/keywords/greedy-algorithm","display_name":"Greedy algorithm","score":0.5857006311416626},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.55886310338974},{"id":"https://openalex.org/keywords/clique-problem","display_name":"Clique problem","score":0.5489382147789001},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5462231040000916},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5283977389335632},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.5137673616409302},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4448806047439575},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3845399022102356},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2392125427722931},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.21110138297080994},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1245238184928894},{"id":"https://openalex.org/keywords/pathwidth","display_name":"Pathwidth","score":0.1150190532207489},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09407877922058105},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.07455426454544067}],"concepts":[{"id":"https://openalex.org/C2777035058","wikidata":"https://www.wikidata.org/wiki/Q1662634","display_name":"Clique","level":2,"score":0.7328579425811768},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6928731203079224},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.653178334236145},{"id":"https://openalex.org/C51823790","wikidata":"https://www.wikidata.org/wiki/Q504353","display_name":"Greedy algorithm","level":2,"score":0.5857006311416626},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.55886310338974},{"id":"https://openalex.org/C150997102","wikidata":"https://www.wikidata.org/wiki/Q1196873","display_name":"Clique problem","level":5,"score":0.5489382147789001},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5462231040000916},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5283977389335632},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.5137673616409302},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4448806047439575},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3845399022102356},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2392125427722931},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.21110138297080994},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1245238184928894},{"id":"https://openalex.org/C43517604","wikidata":"https://www.wikidata.org/wiki/Q7144893","display_name":"Pathwidth","level":4,"score":0.1150190532207489},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09407877922058105},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.07455426454544067},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-29700-7_24","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-29700-7_24","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1503170978","https://openalex.org/W1513397125","https://openalex.org/W1548827561","https://openalex.org/W1558996746","https://openalex.org/W1586713319","https://openalex.org/W1589124115","https://openalex.org/W1667362966","https://openalex.org/W1720224351","https://openalex.org/W1800789167","https://openalex.org/W1891579146","https://openalex.org/W1963535597","https://openalex.org/W1992712466","https://openalex.org/W2010880586","https://openalex.org/W2027468426","https://openalex.org/W2035447984","https://openalex.org/W2036265926","https://openalex.org/W2080267935","https://openalex.org/W2098508444","https://openalex.org/W2113390438","https://openalex.org/W2116523693","https://openalex.org/W2142785340","https://openalex.org/W2486285674","https://openalex.org/W2488531982","https://openalex.org/W2495008722","https://openalex.org/W3022749232","https://openalex.org/W3152126676","https://openalex.org/W4238235848","https://openalex.org/W4285719527","https://openalex.org/W4300021588"],"related_works":["https://openalex.org/W2165678151","https://openalex.org/W3176904788","https://openalex.org/W2082603400","https://openalex.org/W21597398","https://openalex.org/W1796509207","https://openalex.org/W3203939381","https://openalex.org/W2140498717","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}