Tian Sang
AAAI Conference on Artificial Intelligence · with Beame · 2005
A researcher in the Science corpus: 1 paper; trusts 4 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Tian Sang trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Tian Sang overall
- Vaishak Belle
- Guy Van den Broeck
- Adnan Darwiche
- Vibhav Gogate
- Stuart J. Russell
- Andrea Passerini
- Jingyi Xu
- Rina Dechter
- Michael I. Jordan
- Anton Lykov
Papers from Tian Sang's perspective
Ordered by how strongly the researchers Tian Sang trusts endorse each paper. Same corpus, a different order for every researcher.
- Probabilistic reasoning in intelligent systems - networks of plausible inference
- A machine program for theorem-proving (CACM)
- Efficient conflict driven learning in a Boolean satisfiability solver (IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281))
- BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
- Recursive conditioning (Artificial Intelligence)
- Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
- Maximum likelihood from incomplete data via the EM - algorithm plus discussions on the paper
- Probabilistic reasoning in intelligent systems: Networks of plausible inference
- Causality : Models , Reasoning , and Inference
- GRASP: A Search Algorithm for Propositional Satisfiability
Their papers
- Performing Bayesian Inference by Weighted Model Counting (2005) — 299 citations