3SAT实例的数据可视化工具

Proceedings Fourth International Conference on Computational Intelligence and Multimedia Applications. ICCIMA 2001 Pub Date : 2001-10-30 DOI:10.1109/ICCIMA.2001.970486

J.M. Garcia-Ortegon, J. Torres-Jiménez

{"title":"3SAT实例的数据可视化工具","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":"{\"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}","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

摘要

我们提供了一套数据可视化工具，可以更好地理解使SAT实例变得困难的条件。本工作中使用的可视化技术用于明确sat变量的分布、符号和子句中符号组合的函数之间的关系。使用这些信息，用户可以识别与SAT实例硬度相关的模式，这提供了一个更灵活的实例硬度测量，而不仅仅是子句数量(M)和变量数量(N)之间的关系。甚至可以使用开发的数据可视化工具来确定特定的解决方法是否最适合特定的SAT实例。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Data visualization tools for 3SAT instances

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings Fourth International Conference on Computational Intelligence and Multimedia Applications. ICCIMA 2001

自引率

0.00%

发文量