Stefan Porschen Counting All Solutions of Minimum Weight Exact Satisfiability. 50-59 2006 conf/ciac/2006 CIAC http://dx.doi.org/10.1007/11758471_8 db/conf/ciac/ciac2006.html#Porschen06