Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle?

Please use this identifier to cite or link to this item: https://doi.org/10.4230/LIPIcs.ICALP.2023.123

DC Field	Value
dc.title	Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle?
dc.contributor.author	Chakraborty, Diptarka
dc.contributor.author	Chakraborty, Sourav
dc.contributor.author	Kumar, Gunjan
dc.contributor.author	Meel, Kuldeep S
dc.date.accessioned	2023-07-12T01:17:03Z
dc.date.available	2023-07-12T01:17:03Z
dc.date.issued	2023-07-05
dc.identifier.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
dc.identifier.issn	1868-8969
dc.identifier.uri	https://scholarbank.nus.edu.sg/handle/10635/243040
dc.publisher	schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing
dc.source	Elements
dc.type	Conference Paper
dc.date.updated	2023-07-11T20:02:26Z
dc.contributor.department	DEPARTMENT OF COMPUTER SCIENCE
dc.description.doi	10.4230/LIPIcs.ICALP.2023.123
dc.description.sourcetitle	50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)
dc.description.volume	261
dc.description.page	123:1-123:17
dc.description.place	Germany
dc.published.state	Published
Appears in Collections:	Staff Publications Elements

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

Check