vix.ing · top · new · best · stats · spec

Geoffrey Chu

  1. Projected Model Counting
    2015/07/28 by Rehan Aziz, Geoffrey Chu, Aziz, Rehan Abdul +5 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge