From Sampling to Model Counting

Has publishing details pp. 2293-2299, 2007

Has title From Sampling to Model Counting

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2007.html#GomesHSS07

Has where published IJCAI

Has year 2007

Has author Carla P. Gomes +, Jörg Hoffmann +, Ashish Sabharwal +, Bart Selman +

Has identifier From Sampling to Model Counting +

Categories Proceeding Paper +