{"id":"https://openalex.org/W2265381188","doi":"https://doi.org/10.29007/9skn","title":"Formula partitioning revisited","display_name":"Formula partitioning revisited","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2265381188","doi":"https://doi.org/10.29007/9skn","mag":"2265381188"},"language":"en","primary_location":{"id":"doi:10.29007/9skn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/9skn","pdf_url":"https://easychair.org/publications/open/SD","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/SD","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013047474","display_name":"Zolt\u00e1n \u00c1d\u00e1m Mann","orcid":"https://orcid.org/0000-0001-5741-2709"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Zoltan Mann","raw_affiliation_strings":["Department of Computer Science and Information Theory Budapest University of Technology and Economics Magyar tudsok krtja 2., 1117 Budapest, Hungary","Department of Computer Science and Information Theory Budapest University of Technology and Economics Magyar tud\u00f3sok k\u00f6r\u00fatja 2., 1117 Budapest, Hungary"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Theory Budapest University of Technology and Economics Magyar tudsok krtja 2., 1117 Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Computer Science and Information Theory Budapest University of Technology and Economics Magyar tud\u00f3sok k\u00f6r\u00fatja 2., 1117 Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051660284","display_name":"P\u00e1l Andr\u00e1s Papp","orcid":"https://orcid.org/0009-0005-6667-802X"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Pal Papp","raw_affiliation_strings":["Department of Computer Science and Information Theory Budapest University of Technology and Economics Magyar tudsok krtja 2., 1117 Budapest, Hungary","Department of Computer Science and Information Theory Budapest University of Technology and Economics Magyar tud\u00f3sok k\u00f6r\u00fatja 2., 1117 Budapest, Hungary"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Theory Budapest University of Technology and Economics Magyar tudsok krtja 2., 1117 Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Computer Science and Information Theory Budapest University of Technology and Economics Magyar tud\u00f3sok k\u00f6r\u00fatja 2., 1117 Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5013047474"],"corresponding_institution_ids":["https://openalex.org/I29770179"],"apc_list":null,"apc_paid":null,"fwci":0.8548,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.74516334,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"27","issue":null,"first_page":"41","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9950000047683716,"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.9950000047683716,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9779000282287598,"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/benchmark","display_name":"Benchmark (surveying)","score":0.741624653339386},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6423490047454834},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6377557516098022},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.6367270946502686},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5127204656600952},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4060215353965759},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40548068284988403},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16461622714996338}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.741624653339386},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6423490047454834},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6377557516098022},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.6367270946502686},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5127204656600952},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4060215353965759},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40548068284988403},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16461622714996338},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/9skn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/9skn","pdf_url":"https://easychair.org/publications/open/SD","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:real.mtak.hu:16017","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400081","display_name":"Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210140733","host_organization_name":"Library and Information Centre of the Hungarian Academy of Sciences","host_organization_lineage":["https://openalex.org/I4210140733"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"}],"best_oa_location":{"id":"doi:10.29007/9skn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/9skn","pdf_url":"https://easychair.org/publications/open/SD","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G293009331","display_name":null,"funder_award_id":"OTKA 108947","funder_id":"https://openalex.org/F4320321994","funder_display_name":"Hungarian Scientific Research Fund"},{"id":"https://openalex.org/G7541558665","display_name":null,"funder_award_id":"Bolyai","funder_id":"https://openalex.org/F4320322192","funder_display_name":"Magyar Tudom\u00e1nyos Akad\u00e9mia"},{"id":"https://openalex.org/G8284597927","display_name":null,"funder_award_id":"J\u00e1nos Bolyai","funder_id":"https://openalex.org/F4320322192","funder_display_name":"Magyar Tudom\u00e1nyos Akad\u00e9mia"},{"id":"https://openalex.org/G8831030931","display_name":null,"funder_award_id":"108947","funder_id":"https://openalex.org/F4320321994","funder_display_name":"Hungarian Scientific Research Fund"},{"id":"https://openalex.org/G8959004","display_name":null,"funder_award_id":"J\u00e1nos","funder_id":"https://openalex.org/F4320322192","funder_display_name":"Magyar Tudom\u00e1nyos Akad\u00e9mia"}],"funders":[{"id":"https://openalex.org/F4320321994","display_name":"Hungarian Scientific Research Fund","ror":"https://ror.org/00v349e63"},{"id":"https://openalex.org/F4320322192","display_name":"Magyar Tudom\u00e1nyos Akad\u00e9mia","ror":"https://ror.org/02ks8qq67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2265381188.pdf","grobid_xml":"https://content.openalex.org/works/W2265381188.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W73352345","https://openalex.org/W1485383367","https://openalex.org/W1487965496","https://openalex.org/W1530052040","https://openalex.org/W1569872967","https://openalex.org/W1574733291","https://openalex.org/W1608123432","https://openalex.org/W1629106946","https://openalex.org/W1686746446","https://openalex.org/W1748533846","https://openalex.org/W1966350062","https://openalex.org/W1971508608","https://openalex.org/W1979685867","https://openalex.org/W2027282006","https://openalex.org/W2037197578","https://openalex.org/W2094368841","https://openalex.org/W2095117703","https://openalex.org/W2095817555","https://openalex.org/W2105210717","https://openalex.org/W2112116769","https://openalex.org/W2144326053","https://openalex.org/W2161455936","https://openalex.org/W2169084680","https://openalex.org/W2546270252","https://openalex.org/W4233090747","https://openalex.org/W4236269389","https://openalex.org/W4246219036"],"related_works":["https://openalex.org/W2378211422","https://openalex.org/W4321353415","https://openalex.org/W2745001401","https://openalex.org/W2130974462","https://openalex.org/W2028665553","https://openalex.org/W2086519370","https://openalex.org/W4246352526","https://openalex.org/W2121910908","https://openalex.org/W915438175","https://openalex.org/W2142114659"],"abstract_inverted_index":{"Dividing":[0],"a":[1,10,48,66,80],"Boolean":[2,18],"formula":[3,30,56,97,121],"into":[4],"smaller":[5],"independent":[6],"sub-formulae":[7],"can":[8],"be":[9],"useful":[11],"technique":[12],"for":[13,95,136],"accelerating":[14],"the":[15,53,105,124],"solution":[16],"of":[17,50,52,55,83,139],"problems,":[19],"including":[20],"SAT":[21],"and":[22,25,65,74,102],"#SAT.":[23],"Nevertheless,":[24],"despite":[26],"promising":[27],"early":[28],"results,":[29],"partitioning":[31,57,68,77,100],"is":[32,45,91],"hardly":[33],"used":[34],"in":[35,47],"state-of-the-art":[36],"solvers.":[37],"In":[38,59],"this":[39,44],"paper,":[40],"we":[41,61],"show":[42,88],"that":[43,89],"rooted":[46],"lack":[49],"consistency":[51],"usefulness":[54],"techniques.":[58],"particular,":[60],"evaluate":[62],"two":[63,72,75],"existing":[64,73],"novel":[67,76],"model,":[69],"coupled":[70],"with":[71],"algorithms,":[78],"on":[79],"wide":[81],"range":[82],"benchmark":[84],"instances.":[85],"Our":[86],"results":[87,110],"there":[90],"no":[92],"one-size-fits-all":[93],"solution:":[94],"different":[96,99],"types,":[98],"models":[101],"algorithms":[103],"are":[104],"most":[106],"suitable.":[107],"While":[108],"these":[109],"might":[111],"seem":[112],"negative,":[113],"they":[114],"help":[115],"to":[116,131,134],"improve":[117],"our":[118],"understanding":[119],"about":[120],"partitioning;":[122],"moreover,":[123],"findings":[125],"also":[126],"give":[127],"some":[128],"guidance":[129],"as":[130],"which":[132],"method":[133],"use":[135],"what":[137],"kinds":[138],"formulae.":[140]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}