{"id":"https://openalex.org/W2060997531","doi":"https://doi.org/10.1145/2505515.2505576","title":"Mining-based compression approach of propositional formulae","display_name":"Mining-based compression approach of propositional formulae","publication_year":2013,"publication_date":"2013-10-27","ids":{"openalex":"https://openalex.org/W2060997531","doi":"https://doi.org/10.1145/2505515.2505576","mag":"2060997531"},"language":"en","primary_location":{"id":"doi:10.1145/2505515.2505576","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2505515.2505576","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM international conference on Information & Knowledge Management","raw_type":"proceedings-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/A5014938618","display_name":"Sa\u00efd Jabbour","orcid":"https://orcid.org/0000-0002-8389-8332"},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Said Jabbour","raw_affiliation_strings":["University of Artois, Lens, France"],"affiliations":[{"raw_affiliation_string":"University of Artois, Lens, France","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037137798","display_name":"Lakhdar Sa\u00efs","orcid":"https://orcid.org/0000-0003-2879-8627"},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Lakhdar Sais","raw_affiliation_strings":["University of Artois, Lens, France"],"affiliations":[{"raw_affiliation_string":"University of Artois, Lens, France","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071193451","display_name":"Yakoub Salhi","orcid":"https://orcid.org/0000-0003-0100-4428"},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yakoub Salhi","raw_affiliation_strings":["University of Artois, Lens, France"],"affiliations":[{"raw_affiliation_string":"University of Artois, Lens, France","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076101253","display_name":"Takeaki Uno","orcid":"https://orcid.org/0000-0001-7274-279X"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takeaki Uno","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan","(National Institute of Informatics, Tokyo, Japan)"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"(National Institute of Informatics, Tokyo, Japan)","institution_ids":["https://openalex.org/I184597095"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5014938618"],"corresponding_institution_ids":["https://openalex.org/I44563897"],"apc_list":null,"apc_paid":null,"fwci":1.6179,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.88288552,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"289","last_page":"298"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10538","display_name":"Data Mining Algorithms and Applications","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10538","display_name":"Data Mining Algorithms and Applications","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9973000288009644,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9879999756813049,"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/satisfiability","display_name":"Satisfiability","score":0.813387393951416},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7177956700325012},{"id":"https://openalex.org/keywords/propositional-formula","display_name":"Propositional formula","score":0.6792837977409363},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.6667169332504272},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.6218999624252319},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5724756121635437},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5519730448722839},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.49864864349365234},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4922987222671509},{"id":"https://openalex.org/keywords/compression","display_name":"Compression (physics)","score":0.45644691586494446},{"id":"https://openalex.org/keywords/data-compression","display_name":"Data compression","score":0.43641397356987},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.41248369216918945},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3766493499279022},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3605286180973053},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3201448917388916},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21635058522224426},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.08881425857543945}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.813387393951416},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7177956700325012},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.6792837977409363},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.6667169332504272},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.6218999624252319},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5724756121635437},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5519730448722839},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.49864864349365234},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4922987222671509},{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.45644691586494446},{"id":"https://openalex.org/C78548338","wikidata":"https://www.wikidata.org/wiki/Q2493","display_name":"Data compression","level":2,"score":0.43641397356987},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.41248369216918945},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3766493499279022},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3605286180973053},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3201448917388916},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21635058522224426},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.08881425857543945},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2505515.2505576","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2505515.2505576","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM international conference on Information & Knowledge Management","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W196115564","https://openalex.org/W201592243","https://openalex.org/W1518705996","https://openalex.org/W1519828433","https://openalex.org/W1992119405","https://openalex.org/W1999997889","https://openalex.org/W2020035780","https://openalex.org/W2026413985","https://openalex.org/W2069737789","https://openalex.org/W2142785340","https://openalex.org/W2143182259","https://openalex.org/W2164197909","https://openalex.org/W2166559705","https://openalex.org/W2346933546","https://openalex.org/W2407211045","https://openalex.org/W2613995098","https://openalex.org/W4285719527","https://openalex.org/W6652736394"],"related_works":["https://openalex.org/W1859833606","https://openalex.org/W1492881020","https://openalex.org/W2060997531","https://openalex.org/W1835660582","https://openalex.org/W2024066799","https://openalex.org/W2162928907","https://openalex.org/W117878442","https://openalex.org/W2296202685","https://openalex.org/W2611035363","https://openalex.org/W2404895391"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"propose":[4],"a":[5,53],"first":[6],"application":[7,73],"of":[8,34,56,62,68,71],"data":[9],"mining":[10,17,47],"techniques":[11,48],"to":[12,22,25],"propositional":[13,35],"satisfiability.":[14],"Our":[15],"proposed":[16],"based":[18],"compression":[19],"approach":[20,64],"aims":[21],"discover":[23],"and":[24,49],"exploit":[26],"hidden":[27],"structural":[28],"knowledge":[29],"for":[30,52],"reducing":[31],"the":[32,69,77],"size":[33],"formulae":[36],"in":[37],"conjunctive":[38],"normal":[39],"form":[40],"(CNF).":[41],"It":[42],"combines":[43],"both":[44],"frequent":[45],"itemset":[46],"Tseitin's":[50],"encoding":[51],"compact":[54],"representation":[55],"CNF":[57],"formulae.":[58],"The":[59],"experimental":[60],"evaluation":[61],"our":[63],"shows":[65],"interesting":[66],"reductions":[67],"sizes":[70],"many":[72],"instances":[74],"taken":[75],"from":[76],"last":[78],"SAT":[79],"competitions.":[80]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}