Hard problems for CSP Algorithms
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Solving Rostering Tasks as Constraint Optimization
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
Efficient graph automorphism by vertex partitioning
Artificial Intelligence
Direct backtracking: an advanced adaptation algorithm for pervasive applications
ARCS'08 Proceedings of the 21st international conference on Architecture of computing systems
The Knowledge Engineering Review
Look-back Techniques for ASP Programs with Aggregates
Fundamenta Informaticae
Hi-index | 0.00 |