Approximate Model Counting Via Extension Rule and Clause Reduction
Abstract
References
Index Terms
- Approximate Model Counting Via Extension Rule and Clause Reduction
Recommendations
Two approximate algorithms for model counting
Model counting is the problem of computing the number of models or satisfying assignments for a given propositional formula, and is # P -complete. Owing to its inherent complexity, approximate model counting is an alternative in practice. Model counting ...
Variable and clause ordering in an FSA approach to propositional satisfiability
CIAA'11: Proceedings of the 16th international conference on Implementation and application of automataWe use a finite state (FSA) construction approach to address the problem of propositional satisfiability (SAT). We use a very simple translation from formulas in conjunctive normal form (CNF) to regular expressions and use regular expressions to ...
Limitations of restricted branching in clause learning
The techniques for making decisions, that is, branching, play a central role in complete methods for solving structured instances of constraint satisfaction problems (CSPs). In this work we consider branching heuristics in the context of propositional ...
Comments
Information & Contributors
Information
Published In
In-Cooperation
- Guilin: Guilin University of Technology, Guilin, China
- International Engineering and Technology Institute, Hong Kong: International Engineering and Technology Institute, Hong Kong
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 41Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in