Please use this identifier to cite or link to this item:
https://doi.org/10.4230/LIPIcs.ICALP.2023.123
| Title: | Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle? | Authors: | Chakraborty, Diptarka Chakraborty, Sourav Kumar, Gunjan Meel, Kuldeep S |
Issue Date: | 5-Jul-2023 | Publisher: | schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing | Citation: | Chakraborty, Diptarka, Chakraborty, Sourav, Kumar, Gunjan, Meel, Kuldeep S (2023-07-05). Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle?. 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023) 261 : 123:1-123:17. ScholarBank@NUS Repository. https://doi.org/10.4230/LIPIcs.ICALP.2023.123 | Source Title: | 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023) | URI: | https://scholarbank.nus.edu.sg/handle/10635/243040 | ISSN: | 1868-8969 | DOI: | 10.4230/LIPIcs.ICALP.2023.123 |
| Appears in Collections: | Staff Publications Elements |
Show full item record
Files in This Item:
| File | Description | Size | Format | Access Settings | Version | |
|---|---|---|---|---|---|---|
| 2306.10281.pdf | Published version | 254.34 kB | Adobe PDF | OPEN | Post-print | View/Download |
| LIPIcs-ICALP-2023-123.pdf | 699.72 kB | Adobe PDF | OPEN | Published | View/Download |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.