共 50 条
- [31] CV-width: A New Complexity Parameter for CNFs 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 675 - 680
- [35] Exact Model Counting of Query Expressions: Limitations of Propositional Methods ACM TRANSACTIONS ON DATABASE SYSTEMS, 2017, 42 (01):
- [36] Approximate Model Counting Via Extension Rule and Clause Reduction ICIIP'18: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT INFORMATION PROCESSING, 2018, : 40 - 45