{"title":"Data visualization tools for 3SAT instances","authors":"J.M. Garcia-Ortegon, J. Torres-Jiménez","doi":"10.1109/ICCIMA.2001.970486","DOIUrl":null,"url":null,"abstract":"We present a set of data visualization tools that could lead to a better understanding of the conditions that make of a SAT instance a hard one. The visualization techniques included in this work are used to make evident the relationships between the SAT-variables in function of their distribution, signs and combinations of signs in the clauses. Using this information, the user may identify patterns associated with the hardness of a SAT instance which gives a more flexible measurement of the instance's hardness than just the relationship between the number of clauses (M) and the number of variables (N). It could be even possible to use the developed data visualization tools to determine if a specific solution method is best suitable for a specific SAT instance.","PeriodicalId":232504,"journal":{"name":"Proceedings Fourth International Conference on Computational Intelligence and Multimedia Applications. ICCIMA 2001","volume":"234 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Fourth International Conference on Computational Intelligence and Multimedia Applications. ICCIMA 2001","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCIMA.2001.970486","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We present a set of data visualization tools that could lead to a better understanding of the conditions that make of a SAT instance a hard one. The visualization techniques included in this work are used to make evident the relationships between the SAT-variables in function of their distribution, signs and combinations of signs in the clauses. Using this information, the user may identify patterns associated with the hardness of a SAT instance which gives a more flexible measurement of the instance's hardness than just the relationship between the number of clauses (M) and the number of variables (N). It could be even possible to use the developed data visualization tools to determine if a specific solution method is best suitable for a specific SAT instance.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
