| |
International Symposium on Distributed Computing and Artificial Intelligence (DCAI '08) (2008), pp. 634-643.
|
| |
Journal of Artificial Intelligence Research, Vol. 32, No. 1. (2008), pp. 565-606.
|
| |
Journal on Satisfiability, Boolean Modeling and Computation, Vol. 6 (2009), pp. 245-262.
|
| |
In SAT Competition 2009 (2009)
|
| |
In Proceedings of 18th European Conference on Artificial Intelligence (ECAI '08) (July 2008)
|
| |
In AAAI 2006 Workshop on Learning for Search (2006)
|
| |
In International Conference on Automated Planning and Scheduling (ICAPS-06) Doctoral Consortium (2006)
|
| |
|
| |
|
| |
|
| |
In UAI '08: Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (2008)
|
| |
Proceedings of the National Academy of Sciences of the United States of America, Vol. 101, No. 46. (16 November 2004), pp. 16385-16389.
|
| |
In Proceedings of the 13th Conference on Uncertainty in Artificial Intelligence (UAI '97) (1997), pp. 190-197.
|
| |
No. IDSIA - 07 - 08. (July 2008)
|
| |
Tools with Artificial Intelligence, 2007. ICTAI 2007. 19th IEEE International Conference on In 19th IEEE International Conference on Tools with Artificial Intelligence - ICTAI 2007, Vol. 1 (2007), pp. 231-238.
|
| |
Computational Intelligence, Vol. 21, No. 4. (November 2005), pp. 372-387.
|
| |
In AAAI '05: Proceedings of the Twentieth National Conference on Artificial Intelligence (2005)
|
| |
|
| |
STACS 2006 (2006), pp. 242-253.
|
| |
Science, Vol. 275, No. 5296. (3 January 1997), pp. 51-54.
|
| |
Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07) (2007)
|
| |
|
| |
Ninth International Symposium on Artificial Intelligence and Mathematics (2006)
|
| |
|
| |
|
| |
In UAI '01: Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence (2001), pp. 235-244.
|
| |
Machine Learning: ECML 2004 (2004), pp. 134-143.
|
| |
Local Proceedings of SOFSEM (2005)
|
| |
Artificial Intelligence, Vol. 126, No. 1-2. (February 2001), pp. 43-62.
|
| |
Computational Intelligence, Vol. 21, No. 4. (2005), pp. 372-387.
|
| |
Lecture Notes in Computer Science, Vol. 4741 (2007)
|
| |
|
| |
In Eighteenth national conference on Artificial intelligence (2002), pp. 719-724.
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 47, No. 3-4. (August 2006), pp. 295-328.
|