iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/atva/YangCM22.rdf
Jiong Yang et al.: Projected Model Counting: Beyond Independent Support. (2022) conf/atva/YangCM22 10.1007/978-3-031-19992-9_11 Projected Model Counting: Beyond Independent Support. 3 Jiong Yang 0002 1 Supratik Chakraborty 2 Kuldeep S. Meel 3 171-187 ATVA ATVA 2022 2022 provenance information for RDF data of dblp record 'conf/atva/YangCM22' 2022-10-25T22:22:46+0200