AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A Constraint-Based High School Scheduling System
IEEE Expert: Intelligent Systems and Their Applications
A Generic Object-Oriented Constraint-Based Model for University Course Timetabling
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
Reduced Cost-Based Ranking for Generating Promising Subproblems
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A unified framework for partial and hybrid search methods in constraint programming
Computers and Operations Research
Real-Time Model Checking on Secondary Storage
Model Checking and Artificial Intelligence
Survey on Directed Model Checking
Model Checking and Artificial Intelligence
A Flexible Search Framework for CHR
Constraint Handling Rules
Journal of Artificial Intelligence Research
Depth-bounded discrepancy search
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
GIB: imperfect information in a computationally challenging game
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
The fast downward planning system
Journal of Artificial Intelligence Research
A selective macro-learning algorithm and its application to the N × N sliding-tile puzzle
Journal of Artificial Intelligence Research
Total-order and partial-order planning: a comparative analysis
Journal of Artificial Intelligence Research
Efficient heuristic hypothesis ranking
Journal of Artificial Intelligence Research
Complex concept acquisition through directed search and feature caching
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
GIB: steps toward an expert-level bridge-playing program
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Understanding planning tasks: domain complexity and heuristic decomposition
Understanding planning tasks: domain complexity and heuristic decomposition
On-line planning and scheduling: an application to controlling modular printers
Journal of Artificial Intelligence Research
Decomposition, merging, and refinement approach to boost inductive logic programming algorithms
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Information Processing Letters
| Hi-index | 0.00 |