Yue Cao
with Lotem · 1999
A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 1 researcher here, as inferred from the citation graph.
Whom Yue Cao trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Yue Cao overall
Papers from Yue Cao's perspective
Ordered by how strongly the researchers Yue Cao trusts endorse each paper. Same corpus, a different order for every researcher.
- Planning as Search: A Quantitative Approach
- Using temporal logics to express search control knowledge for planning (Artificial Intelligence)
- The First Law of Robotics (A Call to Arms)
- On the Complexity of Blocks-World Planning
- Application of Theorem Proving to Problem Solving
- SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
- Reasoning about knowledge
- Backdoors to typical case complexity (International Joint Conference on Artificial Intelligence)
- Constraint Processing (Encyclopedia of Artificial Intelligence)
- An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)