Author:
Lagoudakis Michail G.,Littman Michael L.
Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Reference11 articles.
1. The good old Davis-Putnam procedure helps counting models;Birnbaum;Journal of Artificial Intelligence Research,1999
2. Least-squares temporal difference learning;Boyan,1999
3. Linear least-squares algorithms for temporal difference learning;Bradtke;Machine Learning,1996
4. A machine program for theorem proving;Davis;Communications of the ACM,1962
5. Branching rules for satisfiability;Hooker;Journal of Automated Reasoning,1995
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献