Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
{"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}
期刊介绍:
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.