共 50 条
- [21] On the Impact of Junction-Tree Topology on Weighted Model Counting [J]. SCALABLE UNCERTAINTY MANAGEMENT (SUM 2015), 2015, 9310 : 83 - 98
- [22] Counting Arbitrary Subgraphs in Data Streams [J]. AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 598 - 609
- [23] Approximately Counting Subgraphs in Data Streams [J]. 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 [J]. 2018 IEEE 59TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2018, : 544 - 555
- [25] Incremental Learning from Stream Data [J]. IEEE TRANSACTIONS ON NEURAL NETWORKS, 2011, 22 (12): : 1901 - 1914
- [28] Simulating Quantum Circuits by Model Counting [J]. COMPUTER AIDED VERIFICATION, PT III, CAV 2024, 2024, 14683 : 555 - 578
- [29] From Weighted to Unweighted Model Counting [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 689 - 695
- [30] Data structures for categorical path counting queries [J]. THEORETICAL COMPUTER SCIENCE, 2022, 938 : 97 - 111