Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
{"title":"并不是所有的FPRASs都是一样的:揭开FPRASs对dnf计数的神秘面纱","authors":"Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi","doi":"10.1007/s10601-018-9301-x","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"24 1","pages":"211 - 233"},"PeriodicalIF":0.5000,"publicationDate":"2018-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-018-9301-x","citationCount":"16","resultStr":"{\"title\":\"Not all FPRASs are equal: demystifying FPRASs for DNF-counting\",\"authors\":\"Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi\",\"doi\":\"10.1007/s10601-018-9301-x\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\",\"PeriodicalId\":55211,\"journal\":{\"name\":\"Constraints\",\"volume\":\"24 1\",\"pages\":\"211 - 233\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2018-12-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1007/s10601-018-9301-x\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Constraints\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1007/s10601-018-9301-x\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Constraints","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1007/s10601-018-9301-x","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE","Score":null,"Total":0}
期刊介绍:
Constraints provides a common forum for the many disciplines interested in constraint programming and constraint satisfaction and optimization, and the many application domains in which constraint technology is employed. It covers all aspects of computing with constraints: theory and practice, algorithms and systems, reasoning and programming, logics and languages.