A. Lewandowska, P. Dziurzański, S. Yanushkevich, V. Shmerko
{"title":"对称的两阶段精确检测","authors":"A. Lewandowska, P. Dziurzański, S. Yanushkevich, V. Shmerko","doi":"10.1109/ISMVL.2001.924575","DOIUrl":null,"url":null,"abstract":"We propose an approach to exact detection of symmetries in multiple-valued logic (MVL) functions based on two-stage strategy. First, we reduce the search space by using information measures and then apply an exact method to find symmetry. The efficiency of the approach is evaluated by experimental study.","PeriodicalId":297353,"journal":{"name":"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic","volume":"255 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Two-stage exact detection of symmetries\",\"authors\":\"A. Lewandowska, P. Dziurzański, S. Yanushkevich, V. Shmerko\",\"doi\":\"10.1109/ISMVL.2001.924575\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We propose an approach to exact detection of symmetries in multiple-valued logic (MVL) functions based on two-stage strategy. First, we reduce the search space by using information measures and then apply an exact method to find symmetry. The efficiency of the approach is evaluated by experimental study.\",\"PeriodicalId\":297353,\"journal\":{\"name\":\"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic\",\"volume\":\"255 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-05-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2001.924575\",\"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 31st IEEE International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2001.924575","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We propose an approach to exact detection of symmetries in multiple-valued logic (MVL) functions based on two-stage strategy. First, we reduce the search space by using information measures and then apply an exact method to find symmetry. The efficiency of the approach is evaluated by experimental study.