{"id":"https://openalex.org/W2145573358","doi":"https://doi.org/10.1145/2480362.2480385","title":"Solving equations on words through boolean satisfiability","display_name":"Solving equations on words through boolean satisfiability","publication_year":2013,"publication_date":"2013-03-18","ids":{"openalex":"https://openalex.org/W2145573358","doi":"https://doi.org/10.1145/2480362.2480385","mag":"2145573358"},"language":"en","primary_location":{"id":"doi:10.1145/2480362.2480385","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2480362.2480385","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"conference-paper","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/A5045496408","display_name":"Micha\u00ebl Larouche","orcid":null},"institutions":[{"id":"https://openalex.org/I104914703","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi","ror":"https://ror.org/00y3hzd62","country_code":"CA","type":"education","lineage":["https://openalex.org/I104914703","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Micha\u00ebl Larouche","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada","institution_ids":["https://openalex.org/I104914703"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113854773","display_name":"Alexandre Blondin Mass\u00e9","orcid":null},"institutions":[{"id":"https://openalex.org/I104914703","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi","ror":"https://ror.org/00y3hzd62","country_code":"CA","type":"education","lineage":["https://openalex.org/I104914703","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Alexandre Blondin Mass\u00e9","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada","institution_ids":["https://openalex.org/I104914703"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035113421","display_name":"S\u00e9bastien Gaboury","orcid":"https://orcid.org/0000-0001-7749-3470"},"institutions":[{"id":"https://openalex.org/I104914703","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi","ror":"https://ror.org/00y3hzd62","country_code":"CA","type":"education","lineage":["https://openalex.org/I104914703","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"S\u00e9bastien Gaboury","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada","institution_ids":["https://openalex.org/I104914703"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022249773","display_name":"Sylvain Hall\u00e9","orcid":"https://orcid.org/0000-0002-4406-6154"},"institutions":[{"id":"https://openalex.org/I104914703","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi","ror":"https://ror.org/00y3hzd62","country_code":"CA","type":"education","lineage":["https://openalex.org/I104914703","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sylvain Hall\u00e9","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada","institution_ids":["https://openalex.org/I104914703"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I104914703"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"104","last_page":"106"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","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/T12479","display_name":"Web Application Security Vulnerabilities","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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9987000226974487,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.8680286407470703},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.7591050863265991},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.702120304107666},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.6422576308250427},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6100649237632751},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.5692999362945557},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5245556831359863},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5233991742134094},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5173846483230591},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.46022894978523254},{"id":"https://openalex.org/keywords/system-of-linear-equations","display_name":"System of linear equations","score":0.43132638931274414},{"id":"https://openalex.org/keywords/true-quantified-boolean-formula","display_name":"True quantified Boolean formula","score":0.42085155844688416},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.41953879594802856},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35472095012664795},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.349703848361969},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.34028735756874084},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2003902792930603},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18306729197502136}],"concepts":[{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.8680286407470703},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7591050863265991},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.702120304107666},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.6422576308250427},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6100649237632751},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.5692999362945557},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5245556831359863},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5233991742134094},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5173846483230591},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.46022894978523254},{"id":"https://openalex.org/C94523830","wikidata":"https://www.wikidata.org/wiki/Q11203","display_name":"System of linear equations","level":2,"score":0.43132638931274414},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.42085155844688416},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.41953879594802856},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35472095012664795},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.349703848361969},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.34028735756874084},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2003902792930603},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18306729197502136},{"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/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2480362.2480385","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2480362.2480385","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","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":5,"referenced_works":["https://openalex.org/W656343110","https://openalex.org/W1993370765","https://openalex.org/W2077987919","https://openalex.org/W2110318050","https://openalex.org/W2153128123"],"related_works":["https://openalex.org/W2408080066","https://openalex.org/W2394616262","https://openalex.org/W192406999","https://openalex.org/W2406837904","https://openalex.org/W3152212242","https://openalex.org/W2332241156","https://openalex.org/W3136261533","https://openalex.org/W4240446120","https://openalex.org/W2014111643","https://openalex.org/W3120153087"],"abstract_inverted_index":{"Word":[0],"equations":[1,36,61],"are":[2,37],"combinatorial":[3,99],"equalities":[4],"between":[5],"strings":[6],"of":[7,23,32,35,55,58,69,89,97],"symbols,":[8],"variables":[9],"and":[10,65,92],"functions,":[11],"which":[12],"can":[13],"be":[14],"used":[15],"to":[16,62],"model":[17],"problems":[18],"in":[19,50,86,93],"a":[20,44,53,70],"wide":[21],"range":[22],"domains.":[24],"While":[25],"some":[26],"complexity":[27],"results":[28],"for":[29,78],"the":[30,56,67,87,94],"solving":[31,59],"specific":[33],"classes":[34],"known,":[38],"currently":[39],"there":[40],"does":[41],"not":[42],"exist":[43],"systematic":[45],"equation":[46],"solver.":[47],"We":[48],"present":[49],"this":[51,79],"paper":[52],"reduction":[54],"problem":[57],"word":[60,90],"Boolean":[63],"satisfiability,":[64],"describe":[66],"implementation":[68],"general-purpose":[71],"tool":[72],"that":[73],"leverages":[74],"existing":[75],"SAT":[76],"solvers":[77],"purpose.":[80],"Our":[81],"solver":[82],"will":[83],"prove":[84],"useful":[85],"resolution":[88],"equations,":[91],"computer-based":[95],"exploration":[96],"various":[98],"conjectures.":[100]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}