A Recursive Algorithm for Projected Model Counting

Proceedings of the AAAI Conference on Artificial Intelligence
doi 10.1609/aaai.v33i01.33011536
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for the Advancement of Artificial Intelligence (AAAI)


Related search