BOOK-CHAPTER
Approximate Model Counting via Extension Rule
Jinyan WangMinghao YinJingli Wu
Year: 2015 Lecture notes in computer science Pages: 229-240 Publisher: Springer Science+Business Media
Keywords:
Extension (predicate logic) Computer science Theoretical computer science Algorithm Calculus (dental) Programming language
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
34
Refs
0.17
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Bayesian Modeling and Causal Inference
Physical Sciences → Computer Science → Artificial Intelligence
Machine Learning and Algorithms
Physical Sciences → Computer Science → Artificial Intelligence
Data Management and Algorithms
Physical Sciences → Computer Science → Signal Processing
Related Documents
JOURNAL ARTICLE
Approximate Model Counting Via Extension Rule and Clause Reduction
Hao LiuZiao NiWenyang ZhouTongbo ZhangShuai Lü
Year: 2018 Pages: 40-45
JOURNAL ARTICLE
Model Counting with Boolean Algebra and Extension Rule
Youjun XuDantong OuyangYuxin Ye
Journal: Journal of Convergence Information Technology Year: 2010 Vol: 5 (7)Pages: 49-56
JOURNAL ARTICLE
Extension Rule Based Model Counting Using More Reasoning
Zhou JunChun Guang ZhouMinghao YinGrace Hui Yang
Journal: Advanced materials research Year: 2010 Vol: 108-111 Pages: 268-273
BOOK-CHAPTER
Formally Certified Approximate Model Counting
Yong Kiam TanJiong YangMate SoosMagnus O. MyreenKuldeep S. Meel
Lecture notes in computer science Year: 2024 Pages: 153-177
BOOK-CHAPTER
Rounding Meets Approximate Model Counting
Lecture notes in computer science Year: 2023 Pages: 132-162