On computing minimal independent support and its applications to sampling and counting

Author

Alexander Ivrii, Sharad Malik, Kuldeep Meel, Moshe Vardi

Publication Year

2016

Type

Journal Article

Journal

Constraints

Volume

21

Issue

1

Pages

41–58