共 50 条
- [21] On the Impact of Junction-Tree Topology on Weighted Model Counting SCALABLE UNCERTAINTY MANAGEMENT (SUM 2015), 2015, 9310 : 83 - 98
- [22] Counting Arbitrary Subgraphs in Data Streams AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 598 - 609
- [23] Approximately Counting Subgraphs in Data Streams PROCEEDINGS OF THE 41ST ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS '22), 2022, : 413 - 425
- [24] Perfect Lp Sampling in a Data Stream 2018 IEEE 59TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2018, : 544 - 555
- [25] Incremental Learning from Stream Data IEEE TRANSACTIONS ON NEURAL NETWORKS, 2011, 22 (12): : 1901 - 1914
- [28] Simulating Quantum Circuits by Model Counting COMPUTER AIDED VERIFICATION, PT III, CAV 2024, 2024, 14683 : 555 - 578
- [29] From Weighted to Unweighted Model Counting PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 689 - 695