Rehan Aziz
- 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