{"id":"https://openalex.org/W3031279810","doi":"https://doi.org/10.29007/8btb","title":"Rotation Based MSS/MCS Enumeration","display_name":"Rotation Based MSS/MCS Enumeration","publication_year":2020,"publication_date":"2020-05-27","ids":{"openalex":"https://openalex.org/W3031279810","doi":"https://doi.org/10.29007/8btb","mag":"3031279810"},"language":"en","primary_location":{"id":"doi:10.29007/8btb","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8btb","pdf_url":"https://easychair.org/publications/open/rXZL","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/rXZL","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088763903","display_name":"Jaroslav Bend\u00edk","orcid":"https://orcid.org/0000-0001-9784-3028"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Jaroslav Bend\u00edk","raw_affiliation_strings":["Faculty of Informatics, Masaryk University, Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Faculty of Informatics, Masaryk University, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014178090","display_name":"Ivana \u010cern\u00e1","orcid":"https://orcid.org/0000-0002-0711-9552"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Ivana Cerna","raw_affiliation_strings":["Faculty of Informatics, Masaryk University, Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Faculty of Informatics, Masaryk University, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5088763903"],"corresponding_institution_ids":["https://openalex.org/I21449261"],"apc_list":null,"apc_paid":null,"fwci":1.5479,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.86683858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"73","issue":null,"first_page":"120","last_page":"101"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9724000096321106,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9724000096321106,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9646000266075134,"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/T10142","display_name":"Formal Methods in Verification","score":0.9546999931335449,"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/enumeration","display_name":"Enumeration","score":0.939267635345459},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7797514200210571},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.597191572189331},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5434728860855103},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5184885263442993},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5102453231811523},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4978606700897217},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4765630066394806},{"id":"https://openalex.org/keywords/true-quantified-boolean-formula","display_name":"True quantified Boolean formula","score":0.4671686887741089},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4425487518310547},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3729328513145447},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15483170747756958}],"concepts":[{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.939267635345459},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7797514200210571},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.597191572189331},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5434728860855103},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5184885263442993},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5102453231811523},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4978606700897217},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4765630066394806},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.4671686887741089},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4425487518310547},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3729328513145447},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15483170747756958}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/8btb","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8btb","pdf_url":"https://easychair.org/publications/open/rXZL","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"}],"best_oa_location":{"id":"doi:10.29007/8btb","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8btb","pdf_url":"https://easychair.org/publications/open/rXZL","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":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3031279810.pdf","grobid_xml":"https://content.openalex.org/works/W3031279810.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W67012756","https://openalex.org/W203799144","https://openalex.org/W308113020","https://openalex.org/W986923873","https://openalex.org/W1505051593","https://openalex.org/W1517476027","https://openalex.org/W1602843561","https://openalex.org/W1929005002","https://openalex.org/W2087418187","https://openalex.org/W2144386448","https://openalex.org/W2161998660","https://openalex.org/W2187266564","https://openalex.org/W2191686679","https://openalex.org/W2199687903","https://openalex.org/W2205491070","https://openalex.org/W2227210622","https://openalex.org/W2257581581","https://openalex.org/W2266282164","https://openalex.org/W2278865530","https://openalex.org/W2295460894","https://openalex.org/W2395574141","https://openalex.org/W2462682442","https://openalex.org/W2599456920","https://openalex.org/W2735552266","https://openalex.org/W2741064700","https://openalex.org/W2745121780","https://openalex.org/W2767527259","https://openalex.org/W2789151287","https://openalex.org/W2805599793","https://openalex.org/W2807891135","https://openalex.org/W2907199459","https://openalex.org/W2973270463","https://openalex.org/W3016468266","https://openalex.org/W4237318324","https://openalex.org/W4299971910"],"related_works":["https://openalex.org/W3083527377","https://openalex.org/W3176904788","https://openalex.org/W3136261533","https://openalex.org/W2235115558","https://openalex.org/W2014111643","https://openalex.org/W1608133301","https://openalex.org/W3107131366","https://openalex.org/W3128448798","https://openalex.org/W2127594621","https://openalex.org/W4382866869"],"abstract_inverted_index":{"Given":[0],"an":[1,143],"unsatisfiable":[2],"Boolean":[3],"Formula":[4],"F":[5,24],"in":[6,17,42,132],"CNF,":[7],"i.e.,":[8],"a":[9,62,107,116],"set":[10],"of":[11,23,29,135],"clauses,":[12],"one":[13],"is":[14,65,91,128,148],"often":[15,66,92],"interested":[16],"identifying":[18],"Maximal":[19],"Satisfiable":[20],"Subsets":[21,34],"(MSSes)":[22],"or,":[25],"equivalently,":[26],"the":[27,75,96,133],"complements":[28],"MSSes":[30,37,103],"called":[31,121],"Minimal":[32],"Correction":[33],"(MCSes).":[35],"Since":[36],"(MC-":[38],"Ses)":[39],"find":[40],"applications":[41],"many":[43,85,102],"domains,":[44],"e.g.":[45],"diagnosis,":[46],"ontologies":[47],"debugging,":[48],"or":[49],"axiom":[50],"pinpointing,":[51],"several":[52,149],"MSS":[53,64,118],"enumeration":[54,90,119],"algorithms":[55,97],"have":[56],"been":[57],"proposed.":[58],"Unfortunately,":[59],"finding":[60],"even":[61],"single":[63],"very":[67],"hard":[68],"since":[69],"it":[70],"naturally":[71],"subsumes":[72],"repeatedly":[73],"solving":[74],"satisfiability":[76,137],"problem.":[77],"Moreover,":[78,146],"there":[79],"can":[80],"be":[81],"up":[82],"to":[83,99,124],"exponentially":[84],"MSSes,":[86],"thus":[87],"their":[88],"complete":[89],"practically":[93],"intractable.":[94],"Therefore,":[95],"tend":[98],"identify":[100],"as":[101,104],"possible":[105],"within":[106],"given":[108],"time":[109],"limit.":[110],"In":[111],"this":[112],"work,":[113],"we":[114,140],"present":[115],"novel":[117],"algorithm":[120],"RIME.":[122],"Compared":[123],"existing":[125,153],"algorithms,":[126],"RIME":[127,147],"much":[129],"more":[130],"frugal":[131],"number":[134],"performed":[136],"checks":[138],"which":[139],"witness":[141],"via":[142],"experimental":[144],"comparison.":[145],"times":[150],"faster":[151],"than":[152],"tools.":[154]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}