text_combined: mark chavira qiofbdkcsuclaedu dear ace package compiles bayesian network arithmetic circuit ac uses ac answer multiple queries respect network ace used successfully compile networks tens thousands variables large treewidth hundreds exploit local structure form determinism contextspecific independence ace web page httpreasoningcsuclaeduace page download recently released version 12 ace benchmarks ace applied papers describe theoretical foundations ace relation approaches based weighted model counting thank mark chavira ucla thu 07 aug 2008 030058 0700 uai new version ace released