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

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

10.4230/LIPIcs.ICALP.2023.123

Saved in:
Bibliographic Details
Main Authors: Chakraborty, Diptarka, Chakraborty, Sourav, Kumar, Gunjan, Meel, Kuldeep S
Other Authors: DEPARTMENT OF COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 2023
Online Access:https://scholarbank.nus.edu.sg/handle/10635/243040
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

https://scholarbank.nus.edu.sg/handle/10635/243040

Similar Items