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

Bibliographic Details

Published in:	Constraints : an international journal 2016-01, Vol.21 (1), p.41-58
Main Authors:	Ivrii, Alexander, Malik, Sharad, Meel, Kuldeep S., Vardi, Moshe Y.
Format:	Article
Language:	eng
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!